diff options
| author | Will Dietz <w@wdtz.org> | 2018-11-27 21:58:56 -0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-11-27 22:00:19 -0600 |
| commit | a034d90e3b2e6e500015ca15b6a5f53137b6aefd (patch) | |
| tree | 8b0ec0442e3da527ad6b7120d9db1c5d3fce557a /pkgs/applications/science/logic/z3 | |
| parent | c1ba7f4378daa5af8e3881b0cc6d0fa7ac89cbb2 (diff) | |
z3: 4.8.1 -> 4.8.3
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
Diffstat (limited to 'pkgs/applications/science/logic/z3')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 29fc94a71dac8..28a7e783ff3f8 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.8.1"; + version = "4.8.3"; src = fetchFromGitHub { owner = "Z3Prover"; repo = "z3"; rev = name; - sha256 = "1vr57bwx40sd5riijyrhy70i2wnv9xrdihf6y5zdz56yq88rl48f"; + sha256 = "0p5gdmhd32x6zwmx7j5cgwh4jyfxa9yapym95nlmyfaqzak92qar"; }; buildInputs = [ python fixDarwinDylibNames ]; |