diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2014-03-08 21:06:16 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2014-03-08 21:12:59 +0400 |
| commit | 8dc61a6519f3075818f6e3721a3d3e97280e48f1 (patch) | |
| tree | 28200aa3681ec7b2b14578d7493c9b9f1475bbfc /pkgs | |
| parent | d072cf56add7fe47f6844a915695f79b26a31f29 (diff) | |
| download | nixlib-8dc61a6519f3075818f6e3721a3d3e97280e48f1.tar nixlib-8dc61a6519f3075818f6e3721a3d3e97280e48f1.tar.gz nixlib-8dc61a6519f3075818f6e3721a3d3e97280e48f1.tar.bz2 nixlib-8dc61a6519f3075818f6e3721a3d3e97280e48f1.tar.lz nixlib-8dc61a6519f3075818f6e3721a3d3e97280e48f1.tar.xz nixlib-8dc61a6519f3075818f6e3721a3d3e97280e48f1.tar.zst nixlib-8dc61a6519f3075818f6e3721a3d3e97280e48f1.zip | |
Update 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 3a50d3e1ed05..e1eb9a2dcc3b 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_20112013"; + version="1_4_21022014"; name="${baseName}-${version}"; - hash="08qrsahlgqq29zyrcc8435bymj3jvxaailbgjy47jzj1ki2i0vgm"; - url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_20112013.tar.gz"; - sha256="08qrsahlgqq29zyrcc8435bymj3jvxaailbgjy47jzj1ki2i0vgm"; + hash="14xaaxyvfli1nd4vd9fp4j1s8k76z2bhazxzzc7br3q6hc6b8ivw"; + url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_21022014.tar.gz"; + sha256="14xaaxyvfli1nd4vd9fp4j1s8k76z2bhazxzzc7br3q6hc6b8ivw"; }; buildInputs = [ ocaml perl |