diff options
| author | Will Dietz <github@wdtz.org> | 2018-11-02 04:02:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-02 04:02:24 -0500 |
| commit | c417342cd21aa60202c0ab6f072ef1f470f850ef (patch) | |
| tree | ffc2c67244b954d8148488129001a280b0c29f98 /pkgs/applications/science/logic | |
| parent | 1fe7abcf2e93f19cf0e2e14160867f4d8e3a28e1 (diff) | |
| parent | 51e511130a6532bf25b1f3ad2f2d5cce78a578ac (diff) | |
| download | nixlib-c417342cd21aa60202c0ab6f072ef1f470f850ef.tar nixlib-c417342cd21aa60202c0ab6f072ef1f470f850ef.tar.gz nixlib-c417342cd21aa60202c0ab6f072ef1f470f850ef.tar.bz2 nixlib-c417342cd21aa60202c0ab6f072ef1f470f850ef.tar.lz nixlib-c417342cd21aa60202c0ab6f072ef1f470f850ef.tar.xz nixlib-c417342cd21aa60202c0ab6f072ef1f470f850ef.tar.zst nixlib-c417342cd21aa60202c0ab6f072ef1f470f850ef.zip | |
Merge pull request #48579 from dtzWill/update/z3-4.8.1
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 ]; |