../ dists/ 17-Sep-2016 12:55 - doc/ 26-Sep-2016 10:52 - indices/ 27-Jul-2015 11:09 - pool/ 19-Dec-2000 23:10 - project/ 18-Nov-2008 02:05 - tools/ 10-Oct-2012 19:29 - zzz-dists/ 21-May-2016 18:36 - README 17-Sep-2016 12:53 1062 README.CD-manufacture 26-Jun-2010 12:52 1290 README.html 17-Sep-2016 12:53 2590 README.mirrors.html 21-Sep-2016 22:53 189161 README.mirrors.txt 21-Sep-2016 22:53 102434 extrafiles 26-Sep-2016 12:58 188299 ls-lR.gz 26-Sep-2016 12:46 11998599