nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 11:53:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
5e6273df68
nixpkgs/pkgs/applications/science/logic/z3
History
Samuel W. Flint 52a7c4e30e z3: Patch file to get rid of python error 
See #55591, Z3Prover/z3#2131
2019-02-14 10:11:15 -06:00
..
0001-fix-2131.patch z3: Patch file to get rid of python error 2019-02-14 10:11:15 -06:00
default.nix z3: Patch file to get rid of python error 2019-02-14 10:11:15 -06:00
tptp.nix z3-tptp: init 2019-01-22 16:51:18 +01:00