public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tptp: 6.3.0 -> 6.4.0

This commit is contained in:
Michael Raskin 2016-07-16 11:34:32 +02:00
parent 59c9a88a6b
commit 61a3610853
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/tptp/default.nix
View File

@ -2,14 +2,14 @@
stdenv.mkDerivation rec {
name = "TPTP-${version}";
version = "6.3.0";
version = "6.4.0";
src = fetchurl {
url = [
"http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz"
"http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v${version}/TPTP-v${version}.tgz"
];
sha256 = "0xy4cqniyx9fv8r9mc5q5b7xl163pkr9hcmpq6gkls2a0pvg07w9";
sha256 = "1i5hi8grfl5zyh8py63zn39rg019bd90h2l312iswbgai6nyfdw0";
};
buildInputs = [ tcsh yap perl patchelf ];