../ gnome-mines_3.18.2-2.debian.tar.xz 11-Feb-2016 18:25 27K gnome-mines_3.18.2-2.dsc 11-Feb-2016 18:25 2303 gnome-mines_3.18.2-2_mipsel.deb 12-Feb-2016 03:13 2M gnome-mines_3.18.2.orig.tar.xz 12-Nov-2015 00:02 3M gnomine_3.18.2-2_all.deb 11-Feb-2016 18:25 29K