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 15-Mar-2024 21:11 795 Manifest.gz 19-Apr-2024 19:11 9489 VSS-22.0.0-r2 13-Mar-2024 19:40 1082 VSS-23.0.0-r2 13-Mar-2024 19:40 1212 VSS-24.0.0-r1 18-Mar-2024 22:10 1238 ada_language_server-23.0.10-r3 13-Mar-2024 19:40 2746 ada_language_server-24.0.1 20-Mar-2024 19:11 2986 ada_libfswatch-20201105-r2 13-Mar-2024 19:40 1152 aunit-23.0.0-r1 13-Mar-2024 19:40 961 aunit-24.0.0-r3 13-Mar-2024 19:40 1038 aws-22.0.0 13-Mar-2024 19:40 1022 aws-23.0.0-r4 13-Mar-2024 19:40 2255 aws-24.0.0 21-Mar-2024 20:40 2255 e3-core-22.2.0 19-Apr-2024 19:11 3968 e3-core-22.4.0 19-Apr-2024 19:11 5086 e3-testsuite-25.0 19-Apr-2024 19:11 1740 e3-testsuite-26.0 19-Apr-2024 19:11 2078 gnatcoll-bindings-23.0.0-r2 01-Apr-2024 10:14 2158 gnatcoll-bindings-24.0.0 01-Apr-2024 10:14 2340 gnatcoll-core-23.0.0-r1 13-Mar-2024 19:40 1037 gnatcoll-core-24.0.0-r2 13-Mar-2024 19:40 1146 gnatcoll-db-23.0.0-r1 01-Apr-2024 10:14 2479 gnatcoll-db-24.0.0-r1 01-Apr-2024 10:14 2660 gnatdoc-23.0.0-r2 13-Mar-2024 19:40 3082 gnatdoc-24.0.0 19-Mar-2024 09:40 3138 gnatmem-2021-r2 24-Mar-2024 09:42 1536 gnatsymbolize-2021-r2 21-Mar-2024 20:40 929 gpr-23.0.0-r6 01-Apr-2024 10:14 2323 gpr-24.0.0 17-Mar-2024 19:11 1887 gpr-unit-provider-23.0.0-r4 13-Mar-2024 19:40 1472 gprbuild-23.0.0-r1 13-Mar-2024 19:40 1035 gprbuild-23.0.0-r2 13-Mar-2024 19:40 1145 gprbuild-24.0.0-r1 13-Mar-2024 19:40 1184 gprconfig_kb-23.0.0-r3 13-Mar-2024 19:40 494 gprconfig_kb-23.0.0-r4 13-Mar-2024 19:40 514 gprconfig_kb-24.0.0 13-Mar-2024 19:40 514 gtkada-23.0.0-r2 24-Mar-2024 09:42 1771 gtkada-24.0.0 24-Mar-2024 09:42 1773 lal-refactor-0_p20231027 20-Mar-2024 19:11 944 langkit-23.0.0-r3 19-Apr-2024 19:11 3805 langkit-24.0.0 19-Apr-2024 19:11 4742 libadalang-23.0.0-r3 01-Apr-2024 10:14 2715 libadalang-24.0.0-r1 01-Apr-2024 10:14 3314 libadalang-tools-23.0.0-r2 13-Mar-2024 19:40 1401 libadalang-tools-24.0.0-r1 20-Mar-2024 19:11 1807 libgpr-23.0.0 13-Mar-2024 19:40 999 libgpr-23.0.0-r1 13-Mar-2024 19:40 1019 libgpr-24.0.0 13-Mar-2024 19:40 1019 markdown-23.0.0-r2 13-Mar-2024 19:40 1148 markdown-24.0.0 18-Mar-2024 18:10 1162 spawn-23.0.0-r3 13-Mar-2024 19:40 1373 spawn-24.0.0 18-Mar-2024 18:10 1373 templates-parser-23.0.0-r1 13-Mar-2024 19:40 1227 templates-parser-23.0.0-r2 13-Mar-2024 19:40 1337 templates-parser-24.0.0 18-Mar-2024 10:10 1337 xmlada-23.0.0-r1 13-Mar-2024 19:40 956 xmlada-23.0.0-r2 13-Mar-2024 19:40 1066 xmlada-24.0.0-r2 13-Mar-2024 19:40 1188