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 23-Apr-2025 16:27 1239 AdaSAT-25.0.0 23-Apr-2025 16:27 1340 Manifest.gz 27-Apr-2025 14:41 8393 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 27-Apr-2025 10:11 1699 aws-24.0.0-r2 26-Apr-2025 16:11 2722 aws-25.1.0-r2 27-Apr-2025 11:41 3630 e3-core-22.6.0-r3 23-Apr-2025 16:27 7430 e3-core-22.6.0-r4 23-Apr-2025 16:27 7854 e3-testsuite-26.0-r2 23-Apr-2025 16:27 3672 gnatcoll-bindings-24.0.0-r3 23-Apr-2025 16:27 2163 gnatcoll-bindings-25.0.0 23-Apr-2025 16:27 3112 gnatcoll-core-24.0.0-r4 10-Mar-2025 02:11 1213 gnatcoll-core-25.0.0-r1 26-Apr-2025 16:11 2176 gnatcoll-db-24.0.0-r2 23-Apr-2025 16:27 2423 gnatcoll-db-25.0.0-r1 23-Apr-2025 16:27 3081 gnatdoc-25.0.0-r3 23-Apr-2025 16:27 1932 gnatformat-25.0.0 23-Apr-2025 16:27 2149 gnatmem-2021-r4 23-Apr-2025 16:27 1518 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-r2 27-Apr-2025 11:41 2394 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 27-Apr-2025 10:11 1957 gprconfig_kb-24.0.0-r2 10-Mar-2025 02:11 524 gprconfig_kb-25.0.0-r2 27-Apr-2025 10:11 531 gtkada-24.0.0-r1 23-Apr-2025 16:27 1638 gtkada-25.0.1-r1 27-Apr-2025 10:11 1753 lal-refactor-25.0.0-r1 23-Apr-2025 16:27 1557 langkit-24.0.0-r2 23-Apr-2025 16:27 4952 langkit-25.0.0-r3 23-Apr-2025 16:27 4976 langkit-contrib-25.0.0-r1 27-Apr-2025 14:41 2916 libadalang-24.0.0-r3 23-Apr-2025 16:27 3293 libadalang-25.0.0 27-Apr-2025 14:41 3070 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-r2 26-Apr-2025 16:11 1056 markdown-24.0.0-r1 10-Mar-2025 02:11 1149 markdown-25.0.0 23-Apr-2025 16:27 1686 prettier-ada-25.0.0-r1 23-Apr-2025 16:27 2141 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 23-Apr-2025 16:27 2244 xmlada-24.0.0-r4 10-Mar-2025 02:11 1203 xmlada-25.0.0-r3 27-Apr-2025 10:11 2206