Author: raskin
Date: Thu Apr 12 07:23:52 2012
New Revision: 33754
URL: https://nixos.org/websvn/nix/?rev=33754&sc=1
Log:
Update TPTP
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/tptp/default.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/tptp/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/applications/science/logic/tptp/default.nix Thu Apr
12 07:12:07 2012 (r33753)
+++ nixpkgs/trunk/pkgs/applications/science/logic/tptp/default.nix Thu Apr
12 07:23:52 2012 (r33754)
@@ -11,10 +11,10 @@
(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 {
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
