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 06-Feb-2025 12:40 1554 dafny-bin-4.10.0.ebuild 06-Feb-2025 12:40 1277 dafny-bin-4.9.1.ebuild 05-Feb-2025 14:40 1276 metadata.xml 28-Feb-2023 18:10 1826