Index of /debian/

 Name                    Last modified      Size  
 Parent Directory                             -   
 dists/                  10-Mar-2018 09:04    -   
 doc/                    20-Jun-2018 13:56    -   
 indices/                20-Jun-2018 14:11    -   
 pool/                   19-Dec-2000 20:10    -   
 project/                17-Nov-2008 23:05    -   
 tools/                  10-Oct-2012 16:29    -   
 zzz-dists/              17-Jun-2017 11:56    -   
 README                  10-Mar-2018 09:00  1.2K  
 README.CD-manufacture   26-Jun-2010 09:52  1.3K  
 README.html             10-Mar-2018 09:00  2.8K  
 README.mirrors.html     04-Mar-2017 20:08  291   
 README.mirrors.txt      04-Mar-2017 20:08   86   
 extrafiles              20-Jun-2018 14:17  263K  
 ls-lR.gz                20-Jun-2018 14:12   15M