../ gnome-online-miners-debuginfo/ 20-Feb-2018 11:14 - gnome-online-miners-3.26.0-1-src.tar.xz 19-Feb-2018 14:23 268K gnome-online-miners-3.26.0-1.hint 19-Feb-2018 14:23 222 gnome-online-miners-3.26.0-1.tar.xz 19-Feb-2018 14:23 82K sha512.sum 20-Feb-2018 11:14 500