Name Last modified Size Description
Parent Directory -
gnome-mines-3.33.91.news 19-Aug-2019 19:16 67
gnome-mines-3.33.92.news 02-Sep-2019 22:51 82
gnome-mines-3.33.3.news 18-Jun-2019 01:31 127
gnome-mines-3.33.3.sha256sum 18-Jun-2019 01:31 182
gnome-mines-3.33.91.sha256sum 19-Aug-2019 19:16 184
gnome-mines-3.33.92.sha256sum 02-Sep-2019 22:51 184
gnome-mines-3.33.3.tar.xz 18-Jun-2019 01:31 265K
gnome-mines-3.33.91.tar.xz 19-Aug-2019 19:16 265K
LATEST-IS-3.33.92 02-Sep-2019 22:51 266K
gnome-mines-3.33.92.tar.xz 02-Sep-2019 22:51 266K
Apache/2.2 Server at ftp.ntua.gr Port 80