diff options
author | Will Dietz <w@wdtz.org> | 2018-10-16 10:42:45 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-10-16 12:28:06 -0500 |
commit | 51e511130a6532bf25b1f3ad2f2d5cce78a578ac (patch) | |
tree | 49519f938e0b6df690b72a9aa318aa47de2cf2dd /pkgs/applications/science/logic | |
parent | 8070a6333f3fc41ef93c2b0e07f999459615cc8d (diff) | |
download | nixlib-51e511130a6532bf25b1f3ad2f2d5cce78a578ac.tar nixlib-51e511130a6532bf25b1f3ad2f2d5cce78a578ac.tar.gz nixlib-51e511130a6532bf25b1f3ad2f2d5cce78a578ac.tar.bz2 nixlib-51e511130a6532bf25b1f3ad2f2d5cce78a578ac.tar.lz nixlib-51e511130a6532bf25b1f3ad2f2d5cce78a578ac.tar.xz nixlib-51e511130a6532bf25b1f3ad2f2d5cce78a578ac.tar.zst nixlib-51e511130a6532bf25b1f3ad2f2d5cce78a578ac.zip |
z3: 4.7.1 -> 4.8.1
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 1cbe914779e6..f7d67d82cbc8 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { name = "z3-${version}"; - version = "4.7.1"; + version = "4.8.1"; src = fetchFromGitHub { owner = "Z3Prover"; repo = "z3"; - rev = "3b1b82bef05a1b5fd69ece79c80a95fb6d72a990"; - sha256 = "1s850r6qifwl83zzgvrb5l0jigvmymzpv18ph71hg2bcpk7kjw3d"; + rev = name; + sha256 = "1vr57bwx40sd5riijyrhy70i2wnv9xrdihf6y5zdz56yq88rl48f"; }; buildInputs = [ python fixDarwinDylibNames ]; |