../ gnome-mines_40.1-1.debian.tar.xz 13-Apr-2022 13:58 29072 gnome-mines_40.1-1.dsc 13-Apr-2022 13:58 2258 gnome-mines_40.1-1_amd64.deb 13-Apr-2022 13:58 89790 gnome-mines_40.1.orig.tar.xz 13-Apr-2022 13:58 280768