diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2018-11-15 15:49:55 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2018-11-15 15:50:48 +0100 |
| commit | b3844d00f6fbaf9fff1d1792ee8a445c41be881c (patch) | |
| tree | 66643cfa5867e510e26822a7800940feed320b80 /pkgs | |
| parent | 16ba91891d19b4b2083922bca5612aed8957cc67 (diff) | |
tptp: 7.1.0 -> 7.2.0
Diffstat (limited to 'pkgs')
| -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 f3c4f22eae369..ddfd8b5149e70 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.1.0"; + version = "7.2.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 = "0slqbqv4y43wz6wnh72s4n540ssapah0d12mndi0c7xr04kf2v2d"; + sha256 = "0yq8452b6mym4yscy46pshg0z2my8xi74b5bp2qlxd5bjwcrg6rl"; }; nativeBuildInputs = [ patchelf ]; |