../ gnome-mines_3.7.5-0ubuntu1.debian.tar.gz 28-Feb-2013 12:03 29166 gnome-mines_3.7.5-0ubuntu1.dsc 28-Feb-2013 12:03 2452 gnome-mines_3.7.5-0ubuntu1_amd64.deb 28-Feb-2013 12:03 2711202 gnome-mines_3.7.5-0ubuntu1_i386.deb 28-Feb-2013 12:03 2709838 gnome-mines_3.7.5.orig.tar.xz 28-Feb-2013 12:03 3439144 gnomine_3.7.5-0ubuntu1_all.deb 28-Feb-2013 12:03 11208