ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-27 22:03:54 +03:00
Code Issues Projects Releases Wiki Activity

z3: 4.5.0-2017-11-06 -> 4.6.0

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2018-01-03 04:22:37 -06:00
parent 0009c816c5
commit ebeb95d18b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/z3/default.nix
View File

@ -4,13 +4,13 @@ let
python = python2; python = python2;
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
name = "z3-${version}"; name = "z3-${version}";
version = "4.5.0-2017-11-06"; version = "4.6.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Z3Prover"; owner = "Z3Prover";
repo = "z3"; repo = "z3";
rev = "3350f32e1f2c01c9df63b7d71899796a18ce2272"; rev = "b0aaa4c6d7a739eb5e8e56a73e0486df46483222";
sha256 = "00jn0njn5h9v49pl67yxj6225m6334ndrx6mp37vcqac05pdbpw7"; sha256 = "1cgwlmjdbf4rsv2rriqi2sdpz9qxihxrcpm6a4s37ijy437xg78l";
}; };
buildInputs = [ python fixDarwinDylibNames ]; buildInputs = [ python fixDarwinDylibNames ];