mirror.mainlab.de
[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[DIR]zzz-dists/2017-06-17 11:56 -
[DIR]tools/2012-10-10 16:29 -
[DIR]project/2008-11-17 23:05 -
[DIR]pool/2000-12-19 20:10 -
[DIR]indices/2018-06-24 02:06 -
[DIR]doc/2018-06-24 01:52 -
[DIR]dists/2018-06-23 09:10 -
[TXT]README.mirrors.txt2017-03-04 20:08 86
[TXT]README.mirrors.html2017-03-04 20:08 291
[TXT]README.html2018-06-23 09:08 2.8K
[   ]README.CD-manufacture2010-06-26 09:52 1.3K
[   ]README2018-06-23 09:08 1.2K
[   ]ls-lR.gz2018-06-24 02:06 15M
[   ]extrafiles2018-06-24 02:12 274K

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