../ gnome-mines_3.14.1-2.debian.tar.xz 03-Oct-2017 11:55 27180 gnome-mines_3.14.1-2.dsc 03-Oct-2017 11:55 2396 gnome-mines_3.14.1-2_amd64.deb 24-Aug-2017 09:39 2490550 gnome-mines_3.14.1-2_i386.deb 24-Aug-2017 09:21 2491284 gnome-mines_3.14.1.orig.tar.xz 03-Oct-2017 11:55 3219140 gnomine_3.14.1-2_all.deb 24-Aug-2017 09:35 29110