pyrox.dev
Update TPTP
+2
-2
pkgs/applications/science/logic/tptp/default.nix
+2
-2
pkgs/applications/science/logic/tptp/default.nix
···
11
11
(builtins.attrNames (builtins.removeAttrs x helperArgNames));
12
12
sourceInfo = rec {
13
13
baseName="TPTP";
14
-
version="6.0.0";
14
+
version="6.1.0";
15
15
name="${baseName}-${version}";
16
16
urls=
17
17
[
18
18
"http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz"
19
19
"http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v${version}/TPTP-v${version}.tgz"
20
20
];
21
-
hash="0jnjkqdz937c7mkxvh9wc3byw5h1k19jss058fbzdxxc2hkwq1af";
21
+
hash="054p0kx9qh619ixslxpb4qcwvcqr4kan154b3a87b546b78k7kv4";
22
22
};
23
23
in
24
24
rec {