../ LATEST-IS-3.20.1 02-Sep-2016 16:27 271072 gnome-online-miners-3.20.0.news 22-Mar-2016 00:10 70 gnome-online-miners-3.20.0.sha256sum 22-Mar-2016 00:10 198 gnome-online-miners-3.20.0.tar.xz 22-Mar-2016 00:10 270364 gnome-online-miners-3.20.1.news 02-Sep-2016 16:27 248 gnome-online-miners-3.20.1.sha256sum 02-Sep-2016 16:27 198 gnome-online-miners-3.20.1.tar.xz 02-Sep-2016 16:27 271072