mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-19 17:39:34 +00:00
Code Issues Wiki Activity
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