Index of /pub/debian

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] dists/ 2023-04-29 09:43 - [DIR] doc/ 2023-06-08 08:53 - [   ] extrafiles 2023-06-08 09:16 153K [DIR] indices/ 2023-06-08 09:15 - [   ] ls-lR.gz 2023-06-08 09:11 13M [DIR] pool/ 2022-10-05 18:09 - [DIR] project/ 2008-11-17 23:05 - [   ] README 2023-04-29 09:42 1.0K [   ] README.CD-manufacture 2010-06-26 10:52 1.3K [TXT] README.html 2023-04-29 09:42 2.6K [TXT] README.mirrors.html 2017-03-04 20:08 291 [TXT] README.mirrors.txt 2017-03-04 20:08 86 [DIR] tools/ 2012-10-10 17:29 - [DIR] zzz-dists/ 2023-03-22 19:07 -
Universidade do Porto | Helpdesk