diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2012-04-12 07:23:52 +0000 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2012-04-12 07:23:52 +0000 |
| commit | dd3ef46cacd0bee56d9541777c172fb409423333 (patch) | |
| tree | 96e73ce9035f31f5d05308b4292c0544cc372230 /pkgs/applications/science/logic | |
| parent | fa1ecfed54b356cf751a8d2bcc26596c5d843b61 (diff) | |
| download | nixlib-dd3ef46cacd0bee56d9541777c172fb409423333.tar nixlib-dd3ef46cacd0bee56d9541777c172fb409423333.tar.gz nixlib-dd3ef46cacd0bee56d9541777c172fb409423333.tar.bz2 nixlib-dd3ef46cacd0bee56d9541777c172fb409423333.tar.lz nixlib-dd3ef46cacd0bee56d9541777c172fb409423333.tar.xz nixlib-dd3ef46cacd0bee56d9541777c172fb409423333.tar.zst nixlib-dd3ef46cacd0bee56d9541777c172fb409423333.zip | |
Update TPTP
svn path=/nixpkgs/trunk/; revision=33754
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 11b8f7ce535a..ecd70843e0fd 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.1.0"; + version="5.3.0"; name="${baseName}-${version}"; url="http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz"; - hash="1wh2k575nn51ykg1jnwfwjqhg5x42k5vvn2spq09px26vhs4yksy"; + hash="0xzybh332x53q4cmb3i47ygln0x6rd2nx810la1hmja9d1ixnz9b"; }; in rec { |