public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #96608 from gebner/leanproject

Browse Source 
mathlibtools: init at 0.0.10
This commit is contained in:
Gabriel Ebner
2020-08-29 17:58:17 +02:00
committed by GitHub
parent 0c6a84b036 67a280c90b
commit e8482d86ff
3 changed files with 29 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/python-packages.nix
+2
View File
@@ -992,6 +992,8 @@ in {
matchpy = callPackage ../development/python-modules/matchpy { };
mathlibtools = callPackage ../development/python-modules/mathlibtools {};
maxminddb = callPackage ../development/python-modules/maxminddb { };
mininet-python = (toPythonModule (pkgs.mininet.override{ inherit python; })).py;