../ gnome-mines_3.14.1-1.debian.tar.xz 14-Oct-2014 14:39 26544 gnome-mines_3.14.1-1.dsc 14-Oct-2014 14:39 2370 gnome-mines_3.14.1-1_armhf.deb 25-Oct-2014 11:10 2485774 gnome-mines_3.14.1.orig.tar.xz 14-Oct-2014 14:39 3219140 gnomine_3.14.1-1_all.deb 14-Oct-2014 14:39 29056