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 04-Mar-2024 22:10 919 coq-mathcomp-1.19.0.ebuild 15-Jan-2024 21:41 627 metadata.xml 05-Mar-2022 05:10 511