Index of /ubuntu/pool/main/g/gnome-mines

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] gnome-mines_3.10.1-0ubuntu1.debian.tar.gz 2013-12-16 22:28 29K [   ] gnome-mines_3.10.1-0ubuntu1.dsc 2013-12-16 22:28 1.6K [   ] gnome-mines_3.10.1-0ubuntu1_amd64.deb 2013-12-16 22:28 291K [   ] gnome-mines_3.10.1-0ubuntu1_i386.deb 2013-12-16 22:48 290K [   ] gnome-mines_3.10.1.orig.tar.xz 2013-12-16 22:28 3.2M [   ] gnome-mines_3.18.2-2.debian.tar.xz 2016-02-11 18:09 27K [   ] gnome-mines_3.18.2-2.dsc 2016-02-11 18:09 2.2K [   ] gnome-mines_3.18.2-2_amd64.deb 2016-02-11 18:24 293K [   ] gnome-mines_3.18.2-2_i386.deb 2016-02-11 18:24 296K [   ] gnome-mines_3.18.2.orig.tar.xz 2015-11-12 00:09 3.0M [   ] gnome-mines_3.28.0-1.debian.tar.xz 2018-03-25 15:13 27K [   ] gnome-mines_3.28.0-1.dsc 2018-03-25 15:13 2.2K [   ] gnome-mines_3.28.0-1_amd64.deb 2018-03-25 15:14 93K [   ] gnome-mines_3.28.0-1_i386.deb 2018-03-25 15:14 97K [   ] gnome-mines_3.28.0-1ubuntu1.debian.tar.xz 2018-10-03 00:23 28K [   ] gnome-mines_3.28.0-1ubuntu1.dsc 2018-10-03 00:23 2.5K [   ] gnome-mines_3.28.0-1ubuntu1_amd64.deb 2018-10-03 00:48 130K [   ] gnome-mines_3.28.0-1ubuntu1_i386.deb 2018-10-03 00:48 133K [   ] gnome-mines_3.28.0.orig.tar.xz 2018-03-25 15:13 443K [   ] gnome-mines_3.36.0-1.debian.tar.xz 2020-03-29 19:18 27K [   ] gnome-mines_3.36.0-1.dsc 2020-03-29 19:18 2.2K [   ] gnome-mines_3.36.0-1_amd64.deb 2020-03-29 20:09 82K [   ] gnome-mines_3.36.0.orig.tar.xz 2020-03-29 19:18 262K [   ] gnome-mines_40.1-1.debian.tar.xz 2022-02-19 00:29 28K [   ] gnome-mines_40.1-1.dsc 2022-02-19 00:29 2.2K [   ] gnome-mines_40.1-1_amd64.deb 2022-02-19 00:29 88K [   ] gnome-mines_40.1.orig.tar.xz 2022-02-19 00:29 274K [   ] gnomine_3.10.1-0ubuntu1_all.deb 2013-12-16 22:48 11K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443