Merge pull request #37757 from Ma27/add-archive-link-for-geogebra

geogebra: add archive.org link for 5-0-444-0
This commit is contained in:
Jörg Thalheim 2018-03-26 10:02:13 +01:00 committed by GitHub
commit 635b5fc95f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,7 +7,10 @@ stdenv.mkDerivation rec {
preferLocalBuild = true;
src = fetchurl {
urls = "https://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2";
urls = [
"https://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2"
"http://web.archive.org/web/20180325075100/http://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2"
];
sha256 = "1x2h40m62zbhmy42hln5gjj3fwk4b6803v3k9agpv5c6j468sq0p";
};