pythonPackages.manticore: init at 0.3.5

This commit is contained in:
Artur Cygan
2021-01-08 20:24:17 +01:00
parent 0618565e6f
commit 9bd0d2fa61
2 changed files with 111 additions and 0 deletions
+2
View File
@@ -3775,6 +3775,8 @@ in {
manuel = callPackage ../development/python-modules/manuel { };
manticore = callPackage ../development/python-modules/manticore { inherit (pkgs) z3; };
mapbox = callPackage ../development/python-modules/mapbox { };
mapsplotlib = callPackage ../development/python-modules/mapsplotlib { };