BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

tptp: take into account upstream tarball hash change; one file got renamed and some statistics in the documentation got regenerated

Browse source
This commit is contained in:
Michael Raskin 2016-09-08 16:49:09 +02:00
parent ab8474e30f
commit b924cdefa5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/applications/science/logic/tptp/default.nix
View file

@ -9,7 +9,7 @@ stdenv.mkDerivation rec {
"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 = "1i5hi8grfl5zyh8py63zn39rg019bd90h2l312iswbgai6nyfdw0";
sha256 = "17mnqxnyibmzf5vvbnyhsd010zykqw8ikx4pvyj0x9sfyhpvgfix";
};
buildInputs = [ tcsh yap perl patchelf ];