geogebra: 5-0-444-0 -> 5-0-472-0 (#41990)

Bumped to the latest version available.

Also tested the `web.archive.org` backup to avoid broken downloads when
the tarball is removed from the official download mirror.

authored by Maximilian Bosch and committed by xeji 0dbfa47e 4af3190e

+3 -3
+3 -3
pkgs/applications/science/math/geogebra/default.nix
··· 2 3 stdenv.mkDerivation rec { 4 name = "geogebra-${version}"; 5 - version = "5-0-444-0"; 6 7 preferLocalBuild = true; 8 9 src = fetchurl { 10 urls = [ 11 "https://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2" 12 - "http://web.archive.org/web/20180325075100/http://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2" 13 ]; 14 - sha256 = "1x2h40m62zbhmy42hln5gjj3fwk4b6803v3k9agpv5c6j468sq0p"; 15 }; 16 17 srcIcon = fetchurl {
··· 2 3 stdenv.mkDerivation rec { 4 name = "geogebra-${version}"; 5 + version = "5-0-472-0"; 6 7 preferLocalBuild = true; 8 9 src = fetchurl { 10 urls = [ 11 "https://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2" 12 + "http://web.archive.org/https://download.geogebra.org/installers/5.0/GeoGebra-Linux-Portable-${version}.tar.bz2" 13 ]; 14 + sha256 = "1f56k5r5wf2l27sgp2vjpvx7wl72gizwxs0a6hngk15nzzka87v9"; 15 }; 16 17 srcIcon = fetchurl {