diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2013-10-20 21:03:04 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2013-10-20 21:03:04 +0400 |
| commit | 6944de0f9422ab9915a92a100c10e90b4d59e401 (patch) | |
| tree | b0948fb146ab57b9f1630e4e3f67154fc33741df /pkgs | |
| parent | 70f609acbf5690f3265a4156dcf60c61cd9805f1 (diff) | |
| download | nixlib-6944de0f9422ab9915a92a100c10e90b4d59e401.tar nixlib-6944de0f9422ab9915a92a100c10e90b4d59e401.tar.gz nixlib-6944de0f9422ab9915a92a100c10e90b4d59e401.tar.bz2 nixlib-6944de0f9422ab9915a92a100c10e90b4d59e401.tar.lz nixlib-6944de0f9422ab9915a92a100c10e90b4d59e401.tar.xz nixlib-6944de0f9422ab9915a92a100c10e90b4d59e401.tar.zst nixlib-6944de0f9422ab9915a92a100c10e90b4d59e401.zip | |
Updating EProver to 1.8
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 d36956d1375f..35e70a4b0d73 100644 --- a/pkgs/applications/science/logic/eprover/default.nix +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -3,11 +3,11 @@ let s = # Generated upstream information rec { baseName="eprover"; - version="1.7"; + version="1.8"; name="${baseName}-${version}"; - hash="1prkgjpg8lajcylz9nj2hfjxl3l42cqbfvilg30z9b5br14l36rh"; - url="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.7/E.tgz"; - sha256="1prkgjpg8lajcylz9nj2hfjxl3l42cqbfvilg30z9b5br14l36rh"; + hash="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3"; + url="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.8/E.tgz"; + sha256="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3"; }; in stdenv.mkDerivation { |