diff options
author | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2012-01-04 15:22:16 +0000 |
---|---|---|
committer | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2012-01-04 15:22:16 +0000 |
commit | 394fd28e4e58ff3ec822b8561619700e20bda618 (patch) | |
tree | d0c66821a56e43e1288813ad7d4f7989a2e6d73d /pkgs/applications/science/logic | |
parent | 3d61c49b42ffedcdb87556e244d1648f912548c2 (diff) | |
parent | 3ca658287487cf6747236835de0c7a816e187270 (diff) | |
download | nixlib-394fd28e4e58ff3ec822b8561619700e20bda618.tar nixlib-394fd28e4e58ff3ec822b8561619700e20bda618.tar.gz nixlib-394fd28e4e58ff3ec822b8561619700e20bda618.tar.bz2 nixlib-394fd28e4e58ff3ec822b8561619700e20bda618.tar.lz nixlib-394fd28e4e58ff3ec822b8561619700e20bda618.tar.xz nixlib-394fd28e4e58ff3ec822b8561619700e20bda618.tar.zst nixlib-394fd28e4e58ff3ec822b8561619700e20bda618.zip |
svn merge ^/nixpkgs/trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=31280
Diffstat (limited to 'pkgs/applications/science/logic')
-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]; |