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 !
../ idris2-0.8.0-1.el10_2.aarch64.rpm 07-Nov-2025 23:10 14M idris2-doc-0.8.0-1.el10_2.noarch.rpm 07-Nov-2025 23:10 368K idris2-libs-0.8.0-1.el10_2.aarch64.rpm 07-Nov-2025 23:10 24K ioping-1.3-9.el10_2.aarch64.rpm 08-Nov-2025 16:26 43K