mirror.mainlab.de
[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[DIR]dists/2017-12-09 09:44 -
[DIR]doc/2017-12-15 07:52 -
[DIR]indices/2017-12-15 08:42 -
[DIR]pool/2000-12-19 20:10 -
[DIR]project/2008-11-17 23:05 -
[DIR]tools/2012-10-10 16:29 -
[DIR]zzz-dists/2017-06-17 11:56 -
[TXT]README.mirrors.txt2017-03-04 20:08 86
[TXT]README.mirrors.html2017-03-04 20:08 291
[   ]README2017-12-09 09:42 1.2K
[   ]README.CD-manufacture2010-06-26 09:52 1.3K
[TXT]README.html2017-12-09 09:42 2.8K
[   ]extrafiles2017-12-15 08:48 373K
[   ]ls-lR.gz2017-12-15 08:42 14M

A more comprehensive mirror can be found at mirror.plusserver.com.