../ gnome-mines_3.8.2-1.debian.tar.gz 28-Aug-2013 00:57 29030 gnome-mines_3.8.2-1.dsc 28-Aug-2013 00:57 2321 gnome-mines_3.8.2-1_armhf.deb 07-Sep-2013 11:13 2508010 gnome-mines_3.8.2.orig.tar.xz 28-Aug-2013 00:57 3329680 gnomine_3.8.2-1_all.deb 28-Aug-2013 00:57 29118