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/ 21-Dec-2024 16:11 - 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