../ 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.orig.tar.xz 18-Feb-2022 14:43 280768