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