../ gnome-mines_3.12.2-1.debian.tar.xz 19-Jul-2014 13:45 26208 gnome-mines_3.12.2-1.dsc 19-Jul-2014 13:45 2320 gnome-mines_3.12.2-1_armhf.deb 30-Jul-2014 05:55 2487740 gnome-mines_3.12.2.orig.tar.xz 19-Jul-2014 13:45 3286824 gnomine_3.12.2-1_all.deb 19-Jul-2014 13:45 28658