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 22-Sep-2024 22:13 1552 dafny-bin-4.7.0.ebuild 01-Aug-2024 17:11 1266 dafny-bin-4.8.1.ebuild 22-Sep-2024 22:13 1267 metadata.xml 28-Feb-2023 18:10 1826