public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixpkgs: z3 4.3.2 -> 4.4.0

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2015-06-11 22:10:56 -05:00
parent bb3db4e653
commit da6eec001a
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

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "z3-${version}"; name = "z3-${version}";
version = "4.3.2"; version = "4.4.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Z3Prover"; owner = "Z3Prover";
repo = "z3"; repo = "z3";
rev = "ac21ffebdf1512da2a77dc46c47bde87cc3850f3"; rev = "7f6ef0b6c0813f2e9e8f993d45722c0e5b99e152";
sha256 = "1y86akhpy41wx3gx7r8gvf7xbax7dj36ikj6gqh5a7p6r6maz9ci"; sha256 = "1xllvq9fcj4cz34biq2a9dn2sj33bdgrzyzkj26hqw70wkzv1kzx";
}; };
buildInputs = [ python ]; buildInputs = [ python ];