Maximilian Bosch 0dbfa47ed1 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.		2018-06-17 18:04:14 +02:00
..
default.nix	geogebra: 5-0-444-0 -> 5-0-472-0 (#41990)	2018-06-17 18:04:14 +02:00