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

   1 { lib, buildPythonPackage, fetchPypi, PyGithub, GitPython, toml, click, tqdm,
   2   paramiko, networkx, pydot, pyyaml }:
   3
   4 buildPythonPackage rec {
   5   pname = "mathlibtools";
   6   version = "1.0.0";
   7
   8   src = fetchPypi {
   9     inherit pname version;
  10     sha256 = "da41c65e206f55b1faea303581fc11215e52d6e6990b827336b2e1eb82aad96c";
  11   };
  12
  13   propagatedBuildInputs = [
  14     PyGithub GitPython toml click tqdm paramiko networkx pydot pyyaml
  15   ];
  16
  17   # requires internet access
  18   doCheck = false;
  19
  20   meta = with lib; {
  21     homepage = "https://github.com/leanprover-community/mathlib-tools";
  22     description = "leanproject is a supporting tool for Lean's mathlib";
  23     license = licenses.asl20;
  24     maintainers = with maintainers; [ gebner ];
  25   };
  26 }