../ LATEST-IS-3.23.91 28-Feb-2017 05:39 3139816 gnome-mines-3.23.2.news 22-Nov-2016 09:08 156 gnome-mines-3.23.2.sha256sum 22-Nov-2016 09:08 182 gnome-mines-3.23.2.tar.xz 22-Nov-2016 09:08 3139008 gnome-mines-3.23.91.news 28-Feb-2017 05:39 67 gnome-mines-3.23.91.sha256sum 28-Feb-2017 05:39 184 gnome-mines-3.23.91.tar.xz 28-Feb-2017 05:39 3139816