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/ 16-May-2022 11:10 - Manifest 11-Sep-2021 13:40 1206 agda-2.6.1.2.ebuild 15-Mar-2021 22:39 5118 metadata.xml 11-Sep-2021 13:40 1740