diff options
author | Gabriel Ebner <gebner@gebner.org> | 2019-08-25 14:43:51 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2019-08-25 14:43:51 +0200 |
commit | 440c63a38a5c611806a00bd188b0a7623c6dcc3f (patch) | |
tree | 354f8aa1f8ee7976207a815596b939c73248d0bd /pkgs/applications | |
parent | 2d54a79f48643eff70bfeabe66491d24131442a9 (diff) | |
download | nixlib-440c63a38a5c611806a00bd188b0a7623c6dcc3f.tar nixlib-440c63a38a5c611806a00bd188b0a7623c6dcc3f.tar.gz nixlib-440c63a38a5c611806a00bd188b0a7623c6dcc3f.tar.bz2 nixlib-440c63a38a5c611806a00bd188b0a7623c6dcc3f.tar.lz nixlib-440c63a38a5c611806a00bd188b0a7623c6dcc3f.tar.xz nixlib-440c63a38a5c611806a00bd188b0a7623c6dcc3f.tar.zst nixlib-440c63a38a5c611806a00bd188b0a7623c6dcc3f.zip |
vampire: 4.2.2 -> 4.4
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/vampire/default.nix | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix index 08ab243fb96a..42963fe5f9c6 100644 --- a/pkgs/applications/science/logic/vampire/default.nix +++ b/pkgs/applications/science/logic/vampire/default.nix @@ -1,19 +1,16 @@ -{ stdenv, fetchFromGitHub, fetchpatch, z3, zlib, git }: +{ stdenv, fetchFromGitHub, fetchpatch, z3, zlib }: stdenv.mkDerivation rec { - version = "4.2.2"; - name = "vampire-${version}"; + pname = "vampire"; + version = "4.4"; src = fetchFromGitHub { owner = "vprover"; repo = "vampire"; rev = version; - sha256 = "03dqjxr3cwz4h6sn9074kc6b6wjz12kpsvsi0mq2w0j5l9f8d80y"; - #fetchSubmodules = true; - #leaveDotGit = true; + sha256 = "0v2fdfnk7l5xr5c4y54r25g1nbp4vi85zv29nbklh3r7aws3w9q1"; }; - nativeBuildInputs = [ git ]; buildInputs = [ z3 zlib ]; makeFlags = [ "vampire_z3_rel" "CC:=$(CC)" "CXX:=$(CXX)" ]; |