diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2017-10-02 11:45:58 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2017-10-02 11:46:33 +0200 |
| commit | dcd5580909672851bc0c6dfb471b12f965c6f5aa (patch) | |
| tree | 92a96ddd635789431b5f8c5eb8a2d7323236b30e /pkgs/applications | |
| parent | a8a1025ce9e53d18d832bc94f2b71458a0743901 (diff) | |
| download | nixlib-dcd5580909672851bc0c6dfb471b12f965c6f5aa.tar nixlib-dcd5580909672851bc0c6dfb471b12f965c6f5aa.tar.gz nixlib-dcd5580909672851bc0c6dfb471b12f965c6f5aa.tar.bz2 nixlib-dcd5580909672851bc0c6dfb471b12f965c6f5aa.tar.lz nixlib-dcd5580909672851bc0c6dfb471b12f965c6f5aa.tar.xz nixlib-dcd5580909672851bc0c6dfb471b12f965c6f5aa.tar.zst nixlib-dcd5580909672851bc0c6dfb471b12f965c6f5aa.zip | |
tptp: 6.4.0 -> 7.0.0
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index db7e0c0c9382..16ef277e9300 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -2,14 +2,14 @@ stdenv.mkDerivation rec { name = "TPTP-${version}"; - version = "6.4.0"; + version = "7.0.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" + "http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v${version}.tgz" ]; - sha256 = "17mnqxnyibmzf5vvbnyhsd010zykqw8ikx4pvyj0x9sfyhpvgfix"; + sha256 = "13rm76lqlgbv15p8as0dpc74z2dfv5xydkhnd0hm3hhi3mn39dk9"; }; buildInputs = [ tcsh yap perl patchelf ]; |