diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-09-08 16:49:09 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-09-08 16:49:22 +0200 |
commit | b924cdefa5671b7f35ee6731352b25482ac8cac2 (patch) | |
tree | ab333b7a166331901db1dbefa3b15a60b5f89c45 /pkgs/applications/science/logic/tptp | |
parent | ab8474e30fe8d84814517e23e4eeb2884d8a8885 (diff) | |
download | nixlib-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar nixlib-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.gz nixlib-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.bz2 nixlib-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.lz nixlib-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.xz nixlib-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.zst nixlib-b924cdefa5671b7f35ee6731352b25482ac8cac2.zip |
tptp: take into account upstream tarball hash change; one file got renamed and some statistics in the documentation got regenerated
Diffstat (limited to 'pkgs/applications/science/logic/tptp')
-rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index 32906b88d590..db7e0c0c9382 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -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 ]; |