nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-04-17 08:58:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

vampire: 4.5.1 -> 4.6.1

Browse Source
This commit is contained in:
Jan van Brügge 2022-01-01 22:13:11 +01:00
parent c32c39d6f3
commit b54e5a841b
No known key found for this signature in database
GPG Key ID: 88E0BF7B7A546481
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/vampire/default.nix
View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "vampire";
version = "4.5.1";
version = "4.6.1";
src = fetchFromGitHub {
owner = "vprover";
repo = "vampire";
rev = version;
sha256 = "0q9gqyq96amdnhxgwjyv0r2sxakikp3jvmizgj2h0spfz643p8db";
rev = "v${version}";
sha256 = "0z71nxjak3ibp842r8iv37w1x3cbkrmjs88lpvxqb4sgrbyk38zd";
};
buildInputs = [ z3 zlib ];
@ -50,7 +50,7 @@ stdenv.mkDerivation rec {
homepage = "https://vprover.github.io/";
description = "The Vampire Theorem Prover";
platforms = platforms.unix;
license = licenses.unfree;
license = licenses.bsd3;
maintainers = with maintainers; [ gebner ];
};
}