../ LATEST-IS-3.20.1 14-Jun-2016 06:47 3M gnome-mines-3.20.0.news 22-Mar-2016 07:24 63 gnome-mines-3.20.0.sha256sum 22-Mar-2016 07:24 182 gnome-mines-3.20.0.tar.xz 22-Mar-2016 07:24 3M gnome-mines-3.20.1.news 14-Jun-2016 06:47 120 gnome-mines-3.20.1.sha256sum 14-Jun-2016 06:47 182 gnome-mines-3.20.1.tar.xz 14-Jun-2016 06:47 3M