tptp: switch to new base URL for source tarball

This commit is contained in:
Michael Raskin 2019-05-09 20:21:10 +02:00
parent a8c4b37063
commit 7252364dfa

View file

@ -6,8 +6,8 @@ stdenv.mkDerivation rec {
src = fetchurl {
urls = [
"http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz"
"http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v${version}.tgz"
"http://tptp.cs.miami.edu/TPTP/Distribution/TPTP-v${version}.tgz"
"http://tptp.cs.miami.edu/TPTP/Archive/TPTP-v${version}.tgz"
];
sha256 = "0yq8452b6mym4yscy46pshg0z2my8xi74b5bp2qlxd5bjwcrg6rl";
};