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 21-Dec-2025 19:41 8077 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 adareducer-0.20250402 21-Dec-2025 18:41 1810 aunit-25.0.0-r3 07-Dec-2025 12:40 1870 aunit-26.0.0 17-Dec-2025 20:10 2003 aws-25.1.0-r3 10-Dec-2025 21:40 4062 aws-25.2.0 17-Dec-2025 21:40 4195 aws-26.0.0 17-Dec-2025 21:40 4195 e3-core-22.10.0 21-Dec-2025 19:41 5136 e3-core-22.6.0-r3 21-Dec-2025 19:41 4628 e3-core-22.6.0-r5 21-Dec-2025 19:41 4967 e3-core-22.8.0 21-Dec-2025 19:41 5216 e3-testsuite-26.0-r2 21-Dec-2025 19:41 2430 gnatcoll-bindings-25.0.0-r1 21-Dec-2025 18:41 2974 gnatcoll-bindings-26.0.0 21-Dec-2025 18:41 3460 gnatcoll-core-25.0.0-r2 04-Dec-2025 07:51 2119 gnatcoll-core-26.0.0 15-Dec-2025 21:10 2121 gnatcoll-db-25.0.0-r2 21-Dec-2025 18:41 3148 gnatcoll-db-26.0.0 21-Dec-2025 18:41 3471 gnatdoc-25.0.0-r4 21-Dec-2025 18:41 2018 gnatformat-25.0.0-r1 07-Dec-2025 12:40 2503 gnatmem-2021-r6 06-Dec-2025 15:40 1843 gnatsymbolize-2021-r5 11-Dec-2025 11:08 1271 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 06-Dec-2025 23:11 2780 gprbuild-25.0.0-r5 03-Dec-2025 08:03 2084 gprbuild-26.0.0 12-Dec-2025 08:10 1856 gprconfig_kb-25.0.0-r3 03-Dec-2025 08:03 680 gprconfig_kb-26.0.0 11-Dec-2025 21:11 682 gtkada-25.0.1-r2 07-Dec-2025 22:12 2053 lal-refactor-25.0.0-r2 07-Dec-2025 21:40 1647 langkit-24.0.0-r2 21-Dec-2025 19:41 3406 langkit-25.0.0-r6 21-Dec-2025 19:41 5055 langkit-contrib-25.0.0-r2 21-Dec-2025 19:41 2832 libadalang-25.0.0-r1 21-Dec-2025 18:41 3016 libadalang-tools-25.0.0-r2 07-Dec-2025 20:40 2354 libgpr-25.0.0-r3 03-Dec-2025 20:10 1271 libgpr-26.0.0 12-Dec-2025 21:10 1219 markdown-25.0.0-r2 07-Dec-2025 12:40 2075 prettier-ada-25.0.0-r2 04-Dec-2025 20:10 2455 spawn-25.0.0-r4 07-Dec-2025 21:40 1352 templates-parser-24.0.0-r1 03-Dec-2025 03:40 1461 templates-parser-25.0.0-r4 07-Dec-2025 19:40 2330 xmlada-25.0.0-r5 03-Dec-2025 08:03 2200 xmlada-26.0.0 12-Dec-2025 12:13 2354