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-24.0.0-r2 10-Mar-2025 02:11 1281 AdaSAT-25.0.0 10-Mar-2025 02:11 1306 Manifest.gz 29-Mar-2025 20:41 8391 VSS-24.0.0-r2 10-Mar-2025 02:11 1416 VSS-25.0.0 10-Mar-2025 02:11 1337 ada_language_server-25.0.20241014-r2 10-Mar-2025 02:11 4833 ada_libfswatch-2024.07.09 10-Mar-2025 02:11 1139 aunit-24.0.0-r4 10-Mar-2025 02:11 945 aunit-25.0.0-r2 10-Mar-2025 02:11 1871 aws-24.0.0-r1 10-Mar-2025 02:11 2716 aws-25.1.0-r1 10-Mar-2025 02:11 3796 e3-core-22.6.0-r3 29-Mar-2025 20:41 7430 e3-core-22.6.0-r4 29-Mar-2025 20:41 7854 e3-testsuite-26.0-r2 28-Mar-2025 15:48 3051 gnatcoll-bindings-24.0.0-r3 10-Mar-2025 02:11 2205 gnatcoll-bindings-25.0.0 10-Mar-2025 02:11 3156 gnatcoll-core-24.0.0-r4 10-Mar-2025 02:11 1213 gnatcoll-core-25.0.0 11-Mar-2025 08:11 2407 gnatcoll-db-24.0.0-r2 10-Mar-2025 02:11 2465 gnatcoll-db-25.0.0-r1 10-Mar-2025 02:11 3123 gnatdoc-25.0.0-r3 10-Mar-2025 02:11 1816 gnatformat-25.0.0 10-Mar-2025 02:11 1990 gnatmem-2021-r4 10-Mar-2025 02:11 1560 gnatsymbolize-2021-r4 10-Mar-2025 02:11 934 gpr-24.0.0-r2 10-Mar-2025 02:11 2041 gpr-24.2.0 10-Mar-2025 02:11 1955 gpr-25.0.0-r1 10-Mar-2025 02:11 1861 gpr-unit-provider-23.0.0-r6 10-Mar-2025 02:11 1571 gprbuild-24.0.0-r4 10-Mar-2025 02:11 1218 gprbuild-25.0.0-r4 10-Mar-2025 02:11 1794 gprconfig_kb-24.0.0-r2 10-Mar-2025 02:11 524 gprconfig_kb-25.0.0-r2 10-Mar-2025 02:11 533 gtkada-24.0.0-r1 10-Mar-2025 02:11 1680 gtkada-25.0.1-r1 10-Mar-2025 02:11 1797 lal-refactor-25.0.0-r1 10-Mar-2025 02:11 1677 langkit-24.0.0-r2 28-Mar-2025 15:48 4952 langkit-25.0.0-r3 28-Mar-2025 15:48 4978 langkit-contrib-25.0.0-r1 10-Mar-2025 02:11 2530 libadalang-24.0.0-r3 10-Mar-2025 02:11 3335 libadalang-25.0.0 10-Mar-2025 02:11 2663 libadalang-tools-25.0.0-r1 10-Mar-2025 02:11 1753 libgpr-24.0.0-r1 10-Mar-2025 02:11 1068 libgpr-25.0.0-r1 10-Mar-2025 02:11 1103 markdown-24.0.0-r1 10-Mar-2025 02:11 1149 markdown-25.0.0 10-Mar-2025 02:11 1728 prettier-ada-25.0.0-r1 10-Mar-2025 02:11 2109 spawn-25.0.0-r1 10-Mar-2025 02:11 1102 templates-parser-24.0.0-r1 10-Mar-2025 02:11 1282 templates-parser-25.0.0-r2 10-Mar-2025 02:11 2286 xmlada-24.0.0-r4 10-Mar-2025 02:11 1203 xmlada-25.0.0-r3 10-Mar-2025 02:11 1987