Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
LATEST-IS-3.32.2 2019-05-06 22:34 265K
gnome-mines-3.32.0.news 2019-03-11 19:03 66
gnome-mines-3.32.0.sha256sum 2019-03-11 19:03 182
gnome-mines-3.32.0.tar.xz 2019-03-11 19:03 267K
gnome-mines-3.32.2.news 2019-05-06 22:34 127
gnome-mines-3.32.2.sha256sum 2019-05-06 22:34 182
gnome-mines-3.32.2.tar.xz 2019-05-06 22:34 265K