diff options
| author | Will Dietz <github@wdtz.org> | 2018-11-28 18:15:31 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-28 18:15:31 -0600 |
| commit | d7a0e03cfa06fa33a7438c9b30d14ecb473bd772 (patch) | |
| tree | 178e4a7f2e1c5fc4e3c406bdffb5bef8a9f4a04f | |
| parent | 1b6a4d3979f13f990617d32ee9ec99b1f02673ec (diff) | |
| parent | a034d90e3b2e6e500015ca15b6a5f53137b6aefd (diff) | |
| download | nixlib-d7a0e03cfa06fa33a7438c9b30d14ecb473bd772.tar nixlib-d7a0e03cfa06fa33a7438c9b30d14ecb473bd772.tar.gz nixlib-d7a0e03cfa06fa33a7438c9b30d14ecb473bd772.tar.bz2 nixlib-d7a0e03cfa06fa33a7438c9b30d14ecb473bd772.tar.lz nixlib-d7a0e03cfa06fa33a7438c9b30d14ecb473bd772.tar.xz nixlib-d7a0e03cfa06fa33a7438c9b30d14ecb473bd772.tar.zst nixlib-d7a0e03cfa06fa33a7438c9b30d14ecb473bd772.zip | |
Merge pull request #51162 from dtzWill/update/z3-4.8.3
z3: 4.8.1 -> 4.8.3
| -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 29fc94a71dac..28a7e783ff3f 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 ]; |