pkgs/development/python-modules/mathlibtools/default.nix

   1 {
   2   lib,
   3   atomicwrites,
   4   buildPythonPackage,
   5   click,
   6   fetchPypi,
   7   gitpython,
   8   networkx,
   9   pydot,
  10   pygithub,
  11   pythonOlder,
  12   pyyaml,
  13   toml,
  14   tqdm,
  15 }:
  16
  17 buildPythonPackage rec {
  18   pname = "mathlibtools";
  19   version = "1.3.2";
  20   format = "setuptools";
  21
  22   disabled = pythonOlder "3.6";
  23
  24   src = fetchPypi {
  25     inherit pname version;
  26     hash = "sha256-mkn0y3NV/acnkqVzi8xd+Sex4QLvxxmt++FtsZmgrGs=";
  27   };
  28
  29   propagatedBuildInputs = [
  30     atomicwrites
  31     click
  32     gitpython
  33     networkx
  34     pydot
  35     pygithub
  36     pyyaml
  37     toml
  38     tqdm
  39   ];
  40
  41   # Requires internet access
  42   doCheck = false;
  43
  44   pythonImportsCheck = [ "mathlibtools" ];
  45
  46   meta = with lib; {
  47     description = "Supporting tool for Lean's mathlib";
  48     mainProgram = "leanproject";
  49     homepage = "https://github.com/leanprover-community/mathlib-tools";
  50     changelog = "https://github.com/leanprover-community/mathlib-tools/raw/v${version}/CHANGELOG.md";
  51     license = licenses.asl20;
  52     maintainers = with maintainers; [ gebner ];
  53   };
  54 }