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 | |
| parent | ab8474e30fe8d84814517e23e4eeb2884d8a8885 (diff) | |
| download | nixpkgs-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar nixpkgs-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.gz nixpkgs-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.bz2 nixpkgs-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.lz nixpkgs-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.xz nixpkgs-b924cdefa5671b7f35ee6731352b25482ac8cac2.tar.zst nixpkgs-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')
| -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 32906b88d59..db7e0c0c938 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 ]; |