../ gnome-mines_3.8.1-1.debian.tar.gz 25-May-2013 17:18 29456 gnome-mines_3.8.1-1.dsc 25-May-2013 17:18 1685 gnome-mines_3.8.1-1_armhf.deb 05-Jul-2013 09:08 2525840 gnome-mines_3.8.1.orig.tar.xz 25-May-2013 17:18 3366156 gnomine_3.8.1-1_all.deb 25-May-2013 17:18 28972