Index of /debian/pool/extra-apps/g/gnome-mines/

../
gnome-mines_3.10.1-0ubuntu1.debian.tar.gz          23-Apr-2014 14:22               29820
gnome-mines_3.10.1-0ubuntu1.dsc                    23-Apr-2014 14:22                1680
gnome-mines_3.10.1.orig.tar.xz                     23-Apr-2014 14:24             3332344