diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2013-10-20 21:02:37 +0400 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2013-10-20 21:02:37 +0400 |
commit | 70f609acbf5690f3265a4156dcf60c61cd9805f1 (patch) | |
tree | 85ec5d8fae5c2ce4b0697099d550b28e211430b2 /pkgs | |
parent | a0bbc3e83814f19709f2c63af3df2e7f6563a2e9 (diff) | |
download | nixlib-70f609acbf5690f3265a4156dcf60c61cd9805f1.tar nixlib-70f609acbf5690f3265a4156dcf60c61cd9805f1.tar.gz nixlib-70f609acbf5690f3265a4156dcf60c61cd9805f1.tar.bz2 nixlib-70f609acbf5690f3265a4156dcf60c61cd9805f1.tar.lz nixlib-70f609acbf5690f3265a4156dcf60c61cd9805f1.tar.xz nixlib-70f609acbf5690f3265a4156dcf60c61cd9805f1.tar.zst nixlib-70f609acbf5690f3265a4156dcf60c61cd9805f1.zip |
Updating Ekrhyper
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/ekrhyper/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/ekrhyper/default.nix b/pkgs/applications/science/logic/ekrhyper/default.nix index 7ff1acb062be..c90099f495a2 100644 --- a/pkgs/applications/science/logic/ekrhyper/default.nix +++ b/pkgs/applications/science/logic/ekrhyper/default.nix @@ -3,11 +3,11 @@ let s = # Generated upstream information rec { baseName="ekrhyper"; - version="1_4_08022013"; + version="1_4_30072013"; name="${baseName}-${version}"; - hash="0vni5pq1p99428ii3g13chiqxcs8k1fm6jlvg1jqh4qdcs42w7yb"; - url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_08022013.tar.gz"; - sha256="0vni5pq1p99428ii3g13chiqxcs8k1fm6jlvg1jqh4qdcs42w7yb"; + hash="0ashsblm477r7dmq9f33wajkbr29rbyyc919mifdgrrdy6zlc663"; + url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_30072013.tar.gz"; + sha256="0ashsblm477r7dmq9f33wajkbr29rbyyc919mifdgrrdy6zlc663"; }; buildInputs = [ ocaml perl |