diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2011-08-05 18:22:40 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2011-08-05 18:22:40 +0000 |
commit | 946cd2431f0eab5e7501e3e9542db579519d0967 (patch) | |
tree | 17a3599feaa9e8b51f4009883345cc92d85f66b1 /pkgs/applications/science/logic | |
parent | b72b88fc088637a3a04cbc52a4a6f0d29f063b0d (diff) | |
download | nixlib-946cd2431f0eab5e7501e3e9542db579519d0967.tar nixlib-946cd2431f0eab5e7501e3e9542db579519d0967.tar.gz nixlib-946cd2431f0eab5e7501e3e9542db579519d0967.tar.bz2 nixlib-946cd2431f0eab5e7501e3e9542db579519d0967.tar.lz nixlib-946cd2431f0eab5e7501e3e9542db579519d0967.tar.xz nixlib-946cd2431f0eab5e7501e3e9542db579519d0967.tar.zst nixlib-946cd2431f0eab5e7501e3e9542db579519d0967.zip |
Update LEO-II
svn path=/nixpkgs/trunk/; revision=28180
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/leo2/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/leo2/default.nix b/pkgs/applications/science/logic/leo2/default.nix index eb3a13593480..04ab9a5b5ab3 100644 --- a/pkgs/applications/science/logic/leo2/default.nix +++ b/pkgs/applications/science/logic/leo2/default.nix @@ -11,10 +11,10 @@ let (builtins.attrNames (builtins.removeAttrs x helperArgNames)); sourceInfo = rec { baseName="leo2"; - version="1.2.6"; + version="1.2.8"; name="${baseName}_v${version}"; url="http://www.ags.uni-sb.de/~leo/${name}.tgz"; - hash="0gjgcm6nb9kzdl0y72sgvf2w2q92s1ix70lh6wjz9lj2qdf7gi1z"; + hash="d46a94f5991623386eb9061cfb0d748e258359a8c690fded173d45303e0e9e3a"; }; in rec { |