../ gnome-mines_3.20.1-1.debian.tar.xz 19-Jun-2016 18:44 26K gnome-mines_3.20.1-1.dsc 19-Jun-2016 18:44 2240 gnome-mines_3.20.1-1_amd64.deb 19-Jun-2016 19:04 2M gnome-mines_3.20.1-1_i386.deb 19-Jun-2016 19:04 2M gnome-mines_3.20.1.orig.tar.xz 19-Jun-2016 18:44 3M gnome-mines_3.8.2-1_amd64.deb 28-Aug-2013 00:57 2M gnome-mines_3.8.2-1_i386.deb 28-Aug-2013 17:12 2M gnomine_3.18.2-2_all.deb 11-Feb-2016 10:25 29K gnomine_3.8.2-1_all.deb 28-Aug-2013 00:57 28K