This machine mirrors various open-source projects.
2 Gbit/s uplink. Will be upgraded soon...
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ files/ 04-Dec-2021 01: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