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

z3: 4.8.5 -> 4.8.7

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2019-12-14 20:30:27 -06:00
parent 3e88e1b144
commit 367676ce82
No known key found for this signature in database
GPG Key ID: 25D2038DEB08021D
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 {
pname = "z3"; pname = "z3";
version = "4.8.5"; version = "4.8.7";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Z3Prover"; owner = "Z3Prover";
repo = pname; repo = pname;
rev = "Z3-${version}"; rev = "z3-${version}";
sha256 = "11sy98clv7ln0a5vqxzvh6wwqbswsjbik2084hav5kfws4xvklfa"; sha256 = "0hprcdwhhyjigmhhk6514m71bnmvqci9r8gglrqilgx424r6ff7q";
}; };
buildInputs = [ python fixDarwinDylibNames ]; buildInputs = [ python fixDarwinDylibNames ];