../ LATEST-IS-3.20.1 02-Sep-2016 08:27 265K gnome-online-miners-3.20.0.news 21-Mar-2016 16:10 70 gnome-online-miners-3.20.0.sha256sum 21-Mar-2016 16:10 198 gnome-online-miners-3.20.0.tar.xz 21-Mar-2016 16:10 264K gnome-online-miners-3.20.1.news 02-Sep-2016 08:27 248 gnome-online-miners-3.20.1.sha256sum 02-Sep-2016 08:27 198 gnome-online-miners-3.20.1.tar.xz 02-Sep-2016 08:27 265K