diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2013-11-25 10:42:51 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2013-11-25 10:59:35 +0400 |
| commit | 4140dc2628434c3db4d6c6499c5d63d9855ea7c5 (patch) | |
| tree | 04d3f247720ba0dc7ff7eeb87ba030fe2243cdd0 /pkgs/applications/science | |
| parent | 76d77960ec2ba242221159393a935330a4cb1f95 (diff) | |
| download | nixlib-4140dc2628434c3db4d6c6499c5d63d9855ea7c5.tar nixlib-4140dc2628434c3db4d6c6499c5d63d9855ea7c5.tar.gz nixlib-4140dc2628434c3db4d6c6499c5d63d9855ea7c5.tar.bz2 nixlib-4140dc2628434c3db4d6c6499c5d63d9855ea7c5.tar.lz nixlib-4140dc2628434c3db4d6c6499c5d63d9855ea7c5.tar.xz nixlib-4140dc2628434c3db4d6c6499c5d63d9855ea7c5.tar.zst nixlib-4140dc2628434c3db4d6c6499c5d63d9855ea7c5.zip | |
Updating EKRHuper
Diffstat (limited to 'pkgs/applications/science')
| -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 c90099f495a2..3a50d3e1ed05 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_30072013"; + version="1_4_20112013"; name="${baseName}-${version}"; - hash="0ashsblm477r7dmq9f33wajkbr29rbyyc919mifdgrrdy6zlc663"; - url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_30072013.tar.gz"; - sha256="0ashsblm477r7dmq9f33wajkbr29rbyyc919mifdgrrdy6zlc663"; + hash="08qrsahlgqq29zyrcc8435bymj3jvxaailbgjy47jzj1ki2i0vgm"; + url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_20112013.tar.gz"; + sha256="08qrsahlgqq29zyrcc8435bymj3jvxaailbgjy47jzj1ki2i0vgm"; }; buildInputs = [ ocaml perl |