JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
c5881ec2c9
nixpkgs/pkgs/applications/science/logic/z3
History
Will Dietz a034d90e3b z3: 4.8.1 -> 4.8.3 
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
2018-11-27 22:00:19 -06:00
..
default.nix z3: 4.8.1 -> 4.8.3 2018-11-27 22:00:19 -06:00