mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-19 04:02:10 +00:00
Code Issues Wiki Activity

z3: update to latest git

Browse source 
This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2017-11-06 23:29:03 -06:00
parent a387652159
commit 063e4dca79
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/applications/science/logic/z3/default.nix
View file

@ -4,13 +4,13 @@ let
python = python2;
in stdenv.mkDerivation rec {
name = "z3-${version}";
version = "4.5.0";
version = "4.5.0-2017-11-06";
src = fetchFromGitHub {
owner = "Z3Prover";
repo = "z3";
rev = "z3-${version}";
sha256 = "0ssp190ksak93hiz61z90x6hy9hcw1ywp8b2dzmbhn6fbd4bnxzp";
rev = "3350f32e1f2c01c9df63b7d71899796a18ce2272";
sha256 = "00jn0njn5h9v49pl67yxj6225m6334ndrx6mp37vcqac05pdbpw7";
};
buildInputs = [ python fixDarwinDylibNames ];