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

Update E prover

Browse Source 
svn path=/nixpkgs/trunk/; revision=23433
This commit is contained in:
Michael Raskin 2010-08-25 22:23:55 +00:00
parent 412bd09ec1
commit 091be03f65
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/tools/misc/eProver/default.nix
View File

@ -1,12 +1,12 @@
{ stdenv, fetchurl, which, texLive }: { stdenv, fetchurl, which, texLive }:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "EProver-0.999"; name = "EProver-1.2";
src = fetchurl { src = fetchurl {
name = "E-0.999.tar.gz"; name = "E-1.2.tar.gz";
url = http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_0.999/E.tgz; url = "http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.2/E.tgz";
sha256 = "1zm1xip840hlam60kqk6xf0ikvyk7ch3ql1ac6wb68dx2l6hyhxv"; sha256 = "14sbpmh8vg376lrrq7i364aa8g5aacq344ihivxn6w4ydh9138nq";
}; };
buildInputs = [which texLive]; buildInputs = [which texLive];