diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2015-08-08 19:12:42 +0300 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2015-08-08 21:01:31 +0300 |
commit | 6863fde51574e794d23b6906aab4fa720cec59bd (patch) | |
tree | b788923132035e9466792ae5230ff4620edd8084 /pkgs/applications/science/logic | |
parent | a04b6f729a7be3c26f4f26f5a29754f13902ed6f (diff) | |
download | nixlib-6863fde51574e794d23b6906aab4fa720cec59bd.tar nixlib-6863fde51574e794d23b6906aab4fa720cec59bd.tar.gz nixlib-6863fde51574e794d23b6906aab4fa720cec59bd.tar.bz2 nixlib-6863fde51574e794d23b6906aab4fa720cec59bd.tar.lz nixlib-6863fde51574e794d23b6906aab4fa720cec59bd.tar.xz nixlib-6863fde51574e794d23b6906aab4fa720cec59bd.tar.zst nixlib-6863fde51574e794d23b6906aab4fa720cec59bd.zip |
E prover: 1.8 -> 1.9
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 c04cfffbb149..97fe7065b85d 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.8"; + version="1.9"; name="${baseName}-${version}"; - hash="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3"; - url="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.8/E.tgz"; - sha256="0bl4dr7k6simwdvdyxhnjkiz4nm5y0nr8bfhc34zk0360i9m6sk3"; + hash="0vipapqjg0339lpc98vpvz58m6xkqrhgxylmp0hrnld4lrhmcdn4"; + url="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.9/E.tgz"; + sha256="0vipapqjg0339lpc98vpvz58m6xkqrhgxylmp0hrnld4lrhmcdn4"; }; in stdenv.mkDerivation { |