mirror.mainlab.de
[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[DIR]dists/2018-05-01 18:56 -
[DIR]indices/2018-05-27 15:10 -
[DIR]pool/2010-02-27 06:30 -
[DIR]project/2013-06-28 11:52 -
[DIR]ubuntu/2018-05-27 16:06 -
[   ]ls-lR.gz2018-05-27 15:10 15M

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