BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

eprover: 1.9.1 -> 2.0

Browse source
This commit is contained in:
Gabriel Ebner 2017-09-05 13:59:07 +02:00
parent a46f206271
commit b2eff3c60d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/eprover/default.nix
View file

@ -1,11 +1,11 @@
{ stdenv, fetchurl, which }:
stdenv.mkDerivation rec {
name = "eprover-${version}";
version = "1.9.1";
version = "2.0";
src = fetchurl {
url = "http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz";
sha256 = "1vi977mdfqnj04m590aw4896nqzlc4c5rqadjzk86z1zvj7mqnqw";
sha256 = "1xmwr32pd8lv3f6yh720mdqhi3na505y3zbgcsgh2hwb7b5i3ngb";
};
buildInputs = [ which ];