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 !
../ files/ 23-Feb-2025 19:40 - Manifest 19-Nov-2024 20:10 1529 coq-serapi-0.20.0.ebuild 09-Sep-2024 00:41 1631 metadata.xml 05-Mar-2022 05:10 935