Index of /pub/ubuntu/ubuntu-archive/pool/universe/g/gnome-mines/

../
gnome-mines_40.1-1.debian.tar.xz                   18-Feb-2022 23:29               29072
gnome-mines_40.1-1.dsc                             18-Feb-2022 23:29                2258
gnome-mines_40.1-1_amd64.deb                       18-Feb-2022 23:29               89790
gnome-mines_40.1.orig.tar.xz                       18-Feb-2022 23:29              280768
gnomine_3.18.2-2_all.deb                           11-Feb-2016 17:24                8928