Name                                                    Last modified      Size  Description
 Parent Directory                                                             -   
 dists/                                                  2023-07-22 17:52    -   
 indices/                                                2023-07-11 15:26    -   
 doc/                                                    2023-07-11 14:52    -   
 zzz-dists/                                              2023-06-11 09:09    -   
 pool/                                                   2022-10-05 12:09    -   
 tools/                                                  2012-10-10 11:29    -   
 project/                                                2008-11-17 17:05    -   
 Archive-Update-in-Progress-pubmirrors.dal.corespace.com 2025-07-15 12:15    5   
 Archive-Update-Required-pubmirrors.dal.corespace.com    2025-07-15 12:15    0   
 extrafiles                                              2023-07-15 15:50  213K  
 ls-lR.gz                                                2023-07-11 15:19   13M  
 README                                                  2023-06-11 04:34  1.2K  
 README.mirrors.txt                                      2017-03-04 14:08   86   
 README.mirrors.html                                     2017-03-04 14:08  291   
 README.CD-manufacture                                   2010-06-26 04:52  1.3K