diff options
author | Gabriel Ebner <gebner@gebner.org> | 2020-08-29 17:58:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-29 17:58:17 +0200 |
commit | e8482d86ffaacec01b30afcf296dbf219eeebe20 (patch) | |
tree | d1ae7bb1c185ab4589bc8338dc1261e740c2d2bf /pkgs/development | |
parent | 0c6a84b036512ff0bd27445c911e813e704704eb (diff) | |
parent | 67a280c90b1fe6fc799d90435a3824a45e088dbc (diff) |
Merge pull request #96608 from gebner/leanproject
mathlibtools: init at 0.0.10
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/python-modules/mathlibtools/default.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/development/python-modules/mathlibtools/default.nix b/pkgs/development/python-modules/mathlibtools/default.nix new file mode 100644 index 0000000000000..f9c1cf6839f01 --- /dev/null +++ b/pkgs/development/python-modules/mathlibtools/default.nix @@ -0,0 +1,26 @@ +{ lib, buildPythonPackage, fetchPypi, PyGithub, GitPython, toml, click, tqdm, + paramiko, networkx, pydot, pyyaml }: + +buildPythonPackage rec { + pname = "mathlibtools"; + version = "0.0.10"; + + src = fetchPypi { + inherit pname version; + sha256 = "0d708bgsxjhhchqc56afi1h7k87vbfn7v40f4y1zlv7hsjc69s36"; + }; + + propagatedBuildInputs = [ + PyGithub GitPython toml click tqdm paramiko networkx pydot pyyaml + ]; + + # requires internet access + doCheck = false; + + meta = with lib; { + homepage = "https://github.com/leanprover-community/mathlib-tools"; + description = "leanproject is a supporting tool for Lean's mathlib"; + license = licenses.asl20; + maintainers = with maintainers; [ gebner ]; + }; +} |