Index of /pub/debian

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[DIR] dists/                  2022-09-10 11:42    -   
[DIR] doc/                    2022-10-06 14:53    -   
[   ] extrafiles              2022-10-06 15:25  232K  
[DIR] indices/                2022-10-06 15:18    -   
[   ] ls-lR.gz                2022-10-06 15:19   16M  
[DIR] pool/                   2022-10-05 18:09    -   
[DIR] project/                2008-11-17 23:05    -   
[   ] README                  2022-09-10 11:42  1.3K  
[   ] README.CD-manufacture   2010-06-26 10:52  1.3K  
[TXT] README.html             2022-09-10 11:42  3.1K  
[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/              2021-08-14 14:55    -
Universidade do Porto | Helpdesk