Index of /debian/pool/main/g/gnome-extra-icons

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] gnome-extra-icons_1.1-3.dsc 2017-02-13 01:18 1.7K [TXT] gnome-extra-icons_1.1-3.1.dsc 2020-08-21 18:13 1.7K [   ] gnome-extra-icons_1.1-3.diff.gz 2017-02-13 01:18 2.0K [   ] gnome-extra-icons_1.1-3.1.debian.tar.xz 2020-08-21 18:13 2.3K [   ] gnome-extra-icons_1.1-3.1_all.deb 2020-09-05 19:27 4.1M [   ] gnome-extra-icons_1.1-3_all.deb 2017-02-13 01:18 4.1M [   ] gnome-extra-icons_1.1.orig.tar.gz 2006-09-04 19:02 4.2M
Apache/2.4.62 (Debian) Server at debian.bio.lmu.de Port 443