nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 10:53:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

python.pkgs.z3: provide bindings for z3 package, fixes #42603

Browse Source
This commit is contained in:
Frederik Rietdijk 2018-07-22 09:17:36 +02:00
parent 6467cd4336
commit b21994d4ac
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/python-packages.nix
View File

@ -17943,6 +17943,10 @@ EOF
qasm2image = callPackage ../development/python-modules/qasm2image { };
simpy = callPackage ../development/python-modules/simpy { };
z3 = (toPythonModule (pkgs.z3.override {
inherit python;
})).python;
});
in fix' (extends overrides packages)