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 05-May-2022 12:40 2198 idris2-0.5.1_p20211112-r1.ebuild 05-May-2022 12:40 2517 idris2-0.5.1_p20220131-r1.ebuild 05-May-2022 12:40 2540 idris2-0.5.1_p20220224-r1.ebuild 05-May-2022 12:40 2643 metadata.xml 25-Jan-2022 19:10 1255