diff options
author | Gabriel Ebner <gebner@gebner.org> | 2020-08-29 15:45:53 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2020-08-29 15:49:43 +0200 |
commit | 67a280c90b1fe6fc799d90435a3824a45e088dbc (patch) | |
tree | c9e784312934bfe077e4e97406d93cdcd518dcb9 /pkgs/development | |
parent | 6141b50dd50979990725a0cfa77ae3f16c2ce20b (diff) |
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 ]; + }; +} |