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

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