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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]gnome-extra-icons_1.1-3.1_all.deb2020-09-05 18:27 4.1M
[ ]gnome-extra-icons_1.1-3_all.deb2017-02-13 00:18 4.1M
Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443