diff options
author | Austin Seipp <aseipp@pobox.com> | 2018-01-03 04:22:37 -0600 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2018-01-03 21:44:56 -0600 |
commit | ebeb95d18b7166562c944884f9382bac1703eeff (patch) | |
tree | 53492ed26a79f55060b8b614bcfa73e70e15c73e | |
parent | 0009c816c5b7d2b5789757dde775636f7d1dd6f2 (diff) | |
download | nixlib-ebeb95d18b7166562c944884f9382bac1703eeff.tar nixlib-ebeb95d18b7166562c944884f9382bac1703eeff.tar.gz nixlib-ebeb95d18b7166562c944884f9382bac1703eeff.tar.bz2 nixlib-ebeb95d18b7166562c944884f9382bac1703eeff.tar.lz nixlib-ebeb95d18b7166562c944884f9382bac1703eeff.tar.xz nixlib-ebeb95d18b7166562c944884f9382bac1703eeff.tar.zst nixlib-ebeb95d18b7166562c944884f9382bac1703eeff.zip |
z3: 4.5.0-2017-11-06 -> 4.6.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
-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 be25738a6076..532df11209b8 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -4,13 +4,13 @@ let python = python2; in stdenv.mkDerivation rec { name = "z3-${version}"; - version = "4.5.0-2017-11-06"; + version = "4.6.0"; src = fetchFromGitHub { owner = "Z3Prover"; repo = "z3"; - rev = "3350f32e1f2c01c9df63b7d71899796a18ce2272"; - sha256 = "00jn0njn5h9v49pl67yxj6225m6334ndrx6mp37vcqac05pdbpw7"; + rev = "b0aaa4c6d7a739eb5e8e56a73e0486df46483222"; + sha256 = "1cgwlmjdbf4rsv2rriqi2sdpz9qxihxrcpm6a4s37ijy437xg78l"; }; buildInputs = [ python fixDarwinDylibNames ]; |