This machine mirrors various open-source projects and has
4 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ Manifest 07-Jan-2020 21:09 1816 coq-8.6.1-r1.ebuild 04-Nov-2019 15:09 2007 coq-8.9.1-r1.ebuild 24-Nov-2019 01:09 1884 coq-8.9.1-r2.ebuild 07-Jan-2020 21:09 1824 metadata.xml 13-Dec-2019 15:39 999