../ gnome-mines_3.22.2-1.debian.tar.xz 24-Apr-2019 17:23 27K gnome-mines_3.22.2-1.dsc 24-Apr-2019 17:23 2226 gnome-mines_3.22.2-1_mips64el.deb 24-Apr-2019 17:23 2M gnome-mines_3.22.2.orig.tar.xz 24-Apr-2019 17:23 3M