../ gnome-mines_40.1-1.debian.tar.xz 18-Feb-2022 14:43 29072 gnome-mines_40.1-1.dsc 18-Feb-2022 14:43 2258 gnome-mines_40.1-1_amd64.deb 18-Feb-2022 15:30 242080 gnome-mines_40.1-1_arm64.deb 18-Feb-2022 15:30 238968 gnome-mines_40.1-1_armhf.deb 18-Feb-2022 15:30 237068 gnome-mines_40.1-1_i386.deb 18-Feb-2022 15:30 245180 gnome-mines_40.1.orig.tar.xz 18-Feb-2022 14:43 280768