Merge pull request #41068 from dtzWill/update/z3-4.7.1

z3: 4.6.0 -> 4.7.1
This commit is contained in:
Will Dietz 2018-06-06 10:43:07 -05:00 committed by GitHub
commit 19b4ec986a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "z3-${version}";
version = "4.6.0";
version = "4.7.1";
src = fetchFromGitHub {
owner = "Z3Prover";
repo = "z3";
rev = "b0aaa4c6d7a739eb5e8e56a73e0486df46483222";
sha256 = "1cgwlmjdbf4rsv2rriqi2sdpz9qxihxrcpm6a4s37ijy437xg78l";
rev = "3b1b82bef05a1b5fd69ece79c80a95fb6d72a990";
sha256 = "1s850r6qifwl83zzgvrb5l0jigvmymzpv18ph71hg2bcpk7kjw3d";
};
buildInputs = [ python fixDarwinDylibNames ];