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 30-Jun-2026 22:38 1526 metadata.xml 18-Dec-2022 22:10 1103 yices2-2.6.5.ebuild 06-Jun-2025 21:41 1056 yices2-2.7.0.ebuild 30-Jun-2026 22:38 1056