../ LATEST-IS-3.10.1 12-Oct-2013 09:27 3332344 gnome-mines-3.10.0.news 23-Sep-2013 20:18 62 gnome-mines-3.10.0.sha256sum 23-Sep-2013 20:18 182 gnome-mines-3.10.0.tar.xz 23-Sep-2013 20:18 3331356 gnome-mines-3.10.1.news 12-Oct-2013 09:27 99 gnome-mines-3.10.1.sha256sum 12-Oct-2013 09:27 182 gnome-mines-3.10.1.tar.xz 12-Oct-2013 09:27 3332344