This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ Manifest 17-Mar-2025 00:11 2731 coq-8.17.1-r1.ebuild 11-Mar-2025 21:11 2510 coq-8.19.2-r1.ebuild 11-Mar-2025 21:11 2509 coq-8.20.0-r1.ebuild 11-Mar-2025 21:11 2921 coq-9.0.0.ebuild 17-Mar-2025 00:11 2726 metadata.xml 17-Mar-2025 00:11 1168