Index of /pub/debian

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] dists/ 2017-07-22 11:00 - [DIR] doc/ 2017-09-22 08:52 - [   ] extrafiles 2017-09-22 09:51 340K [DIR] indices/ 2017-09-22 09:42 - [   ] ls-lR.gz 2017-09-22 09:42 14M [DIR] pool/ 2000-12-19 20:10 - [DIR] project/ 2008-11-17 23:05 - [   ] README 2017-07-22 10:59 1.2K [   ] README.CD-manufacture 2010-06-26 10:52 1.3K [TXT] README.html 2017-07-22 10:59 2.8K [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/ 2017-06-17 12:56 -
Universidade do Porto | Helpdesk