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 !
../ AdaSAT-25.0.0 03-Dec-2025 14:06 1386 Manifest.gz 04-Dec-2025 20:10 5938 VSS-25.0.0-r1 03-Dec-2025 14:06 1732 ada_language_server-25.0.20241014-r4 03-Dec-2025 03:40 5823 ada_libfswatch-2024.07.09-r1 04-Dec-2025 07:51 1498 aunit-25.0.0-r3 03-Dec-2025 03:40 1762 aws-25.1.0-r3 03-Dec-2025 03:40 3954 e3-core-22.6.0-r3 26-Nov-2025 16:12 6029 e3-core-22.6.0-r4 28-Nov-2025 02:10 6488 e3-testsuite-26.0-r2 26-Nov-2025 16:12 3051 gnatcoll-bindings-25.0.0-r1 04-Dec-2025 19:40 3458 gnatcoll-core-25.0.0-r2 04-Dec-2025 07:51 2119 gnatcoll-db-25.0.0-r2 03-Dec-2025 03:40 3363 gnatdoc-25.0.0-r4 03-Dec-2025 03:40 2176 gnatformat-25.0.0-r1 03-Dec-2025 03:40 2413 gnatmem-2021-r5 03-Dec-2025 03:40 1710 gnatsymbolize-2021-r5 03-Dec-2025 03:40 1155 gpr-24.0.0-r2 03-Dec-2025 03:40 2330 gpr-24.2.0 03-Dec-2025 03:40 2244 gpr-25.0.0-r3 03-Dec-2025 03:40 2672 gprbuild-25.0.0-r5 03-Dec-2025 08:03 2084 gprconfig_kb-25.0.0-r3 03-Dec-2025 08:03 680 gtkada-25.0.1-r2 03-Dec-2025 03:40 1945 lal-refactor-25.0.0-r2 03-Dec-2025 03:40 1629 langkit-24.0.0-r2 03-Dec-2025 03:40 4232 langkit-25.0.0-r5 04-Dec-2025 20:10 5408 langkit-contrib-25.0.0-r2 03-Dec-2025 03:40 3153 libadalang-25.0.0-r1 03-Dec-2025 03:40 3358 libadalang-tools-25.0.0-r2 03-Dec-2025 03:40 2246 libgpr-25.0.0-r3 03-Dec-2025 20:10 1271 markdown-25.0.0-r2 03-Dec-2025 03:40 1985 prettier-ada-25.0.0-r2 04-Dec-2025 20:10 2455 spawn-25.0.0-r3 03-Dec-2025 03:40 1304 templates-parser-24.0.0-r1 03-Dec-2025 03:40 1461 templates-parser-25.0.0-r4 03-Dec-2025 03:40 2222 xmlada-25.0.0-r5 03-Dec-2025 08:03 2200