diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2018-03-12 16:49:34 +0100 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2018-03-12 16:58:21 +0100 |
commit | fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5 (patch) | |
tree | 99deb562ea28720caaa0884366bc6b7e410201ab /pkgs/applications/science/logic | |
parent | 4be7395bde291bebd1535476c56a9643ca49181e (diff) | |
download | nixlib-fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5.tar nixlib-fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5.tar.gz nixlib-fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5.tar.bz2 nixlib-fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5.tar.lz nixlib-fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5.tar.xz nixlib-fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5.tar.zst nixlib-fafeac185bfb9f02d9e7eb6d78c1b032b5e749a5.zip |
tptp: 7.0.0 -> 7.1.0
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index 16ef277e9300..a1d613e6295e 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 = "7.0.0"; + version = "7.1.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}.tgz" ]; - sha256 = "13rm76lqlgbv15p8as0dpc74z2dfv5xydkhnd0hm3hhi3mn39dk9"; + sha256 = "0slqbqv4y43wz6wnh72s4n540ssapah0d12mndi0c7xr04kf2v2d"; }; buildInputs = [ tcsh yap perl patchelf ]; |