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 20-Jan-2021 10:39 2118 coq-8.12.0.ebuild 13-Oct-2020 13:09 1823 coq-8.6.1-r1.ebuild 04-Nov-2019 15:09 2007 coq-8.9.1-r1.ebuild 24-Nov-2019 01:09 1884 metadata.xml 13-Dec-2019 15:39 999