diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2012-01-04 10:31:49 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2012-01-04 10:31:49 +0000 |
commit | 07de46c2fab8a82aacd153166678999b3c9cc5b0 (patch) | |
tree | ae059f0fc6d7e386e11ecea8ca3336279bbfcb03 /pkgs | |
parent | 855e8f45a4f46e409a911715add088d0a8873274 (diff) | |
download | nixlib-07de46c2fab8a82aacd153166678999b3c9cc5b0.tar nixlib-07de46c2fab8a82aacd153166678999b3c9cc5b0.tar.gz nixlib-07de46c2fab8a82aacd153166678999b3c9cc5b0.tar.bz2 nixlib-07de46c2fab8a82aacd153166678999b3c9cc5b0.tar.lz nixlib-07de46c2fab8a82aacd153166678999b3c9cc5b0.tar.xz nixlib-07de46c2fab8a82aacd153166678999b3c9cc5b0.tar.zst nixlib-07de46c2fab8a82aacd153166678999b3c9cc5b0.zip |
Update E prover
svn path=/nixpkgs/trunk/; revision=31269
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/eProver/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/eProver/default.nix b/pkgs/applications/science/logic/eProver/default.nix index 138995036a63..327a5d3a6237 100644 --- a/pkgs/applications/science/logic/eProver/default.nix +++ b/pkgs/applications/science/logic/eProver/default.nix @@ -1,12 +1,12 @@ { stdenv, fetchurl, which, texLive }: stdenv.mkDerivation { - name = "EProver-1.2"; + name = "EProver-1.4"; src = fetchurl { - name = "E-1.2.tar.gz"; - url = "http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.2/E.tgz"; - sha256 = "14sbpmh8vg376lrrq7i364aa8g5aacq344ihivxn6w4ydh9138nq"; + name = "E-1.4.tar.gz"; + url = "http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.4/E.tgz"; + sha256 = "1hxkr21xqkkh4bzqip6qf70w9xvvb8p20zzkvyin631ffgvyvr93"; }; buildInputs = [which texLive]; |