../ gnome-mines_3.12.2-2.debian.tar.xz 31-Jul-2014 18:56 27544 gnome-mines_3.12.2-2.dsc 31-Jul-2014 18:56 1719 gnome-mines_3.12.2-2_armhf.deb 06-Aug-2014 17:12 2488298 gnome-mines_3.12.2.orig.tar.xz 19-Jul-2014 13:45 3286824 gnomine_3.12.2-2_all.deb 31-Jul-2014 18:56 28778