diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2012-07-07 20:32:48 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2012-07-07 20:32:48 +0400 |
| commit | 2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2 (patch) | |
| tree | 567608cad61f901ebd1ab982501bad87a934e72c /pkgs/applications/science/logic | |
| parent | 631a59e449c878689cc59c23cdf932cd7a695461 (diff) | |
| download | nixlib-2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2.tar nixlib-2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2.tar.gz nixlib-2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2.tar.bz2 nixlib-2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2.tar.lz nixlib-2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2.tar.xz nixlib-2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2.tar.zst nixlib-2331ea4ec29db3a024e8ba7c5e4f86f692e62ac2.zip | |
TPTP: update to 5.4.0
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index ecd70843e0fd..87a320067131 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -11,10 +11,10 @@ let (builtins.attrNames (builtins.removeAttrs x helperArgNames)); sourceInfo = rec { baseName="TPTP"; - version="5.3.0"; + version="5.4.0"; name="${baseName}-${version}"; url="http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz"; - hash="0xzybh332x53q4cmb3i47ygln0x6rd2nx810la1hmja9d1ixnz9b"; + hash="0nyq2kkiphwgj3hczc7zglzqjj6hxxsh6zcygpy4yhxh9a9rpkg1"; }; in rec { |