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 08-Oct-2024 15:52 875 Manifest.gz 19-Oct-2024 20:11 9334 VSS-22.0.0-r2 08-Oct-2024 15:52 1162 VSS-23.0.0-r2 08-Oct-2024 15:52 1424 VSS-24.0.0-r2 15-Oct-2024 18:40 1514 ada_language_server-23.0.10-r3 08-Oct-2024 15:52 3530 ada_language_server-24.0.1 08-Oct-2024 15:52 3858 ada_libfswatch-20201105-r2 08-Oct-2024 15:52 1320 aunit-23.0.0-r1 08-Oct-2024 15:52 1041 aunit-24.0.0-r3 08-Oct-2024 15:52 1118 aws-22.0.0 08-Oct-2024 15:52 1190 aws-23.0.0-r4 08-Oct-2024 15:52 2863 aws-24.0.0 08-Oct-2024 15:52 2863 e3-core-22.2.0 14-Oct-2024 13:44 3968 e3-core-22.4.0 14-Oct-2024 13:44 5084 e3-testsuite-25.0 14-Oct-2024 13:44 1740 e3-testsuite-26.0 14-Oct-2024 13:44 2077 gnatcoll-bindings-23.0.0-r2 14-Oct-2024 13:44 2326 gnatcoll-bindings-24.0.0-r1 19-Oct-2024 18:41 2616 gnatcoll-core-23.0.0-r1 08-Oct-2024 15:52 1205 gnatcoll-core-24.0.0-r3 19-Oct-2024 18:41 1332 gnatcoll-db-23.0.0-r1 14-Oct-2024 13:44 2735 gnatcoll-db-24.0.0-r1 14-Oct-2024 13:44 2916 gnatdoc-23.0.0-r2 08-Oct-2024 15:52 3998 gnatdoc-24.0.0 08-Oct-2024 15:52 4054 gnatmem-2021-r2 08-Oct-2024 15:52 1650 gnatsymbolize-2021-r2 08-Oct-2024 15:52 965 gpr-23.0.0-r6 14-Oct-2024 13:44 2711 gpr-24.0.0-r1 19-Oct-2024 18:41 2383 gpr-unit-provider-23.0.0-r5 19-Oct-2024 20:11 1836 gprbuild-23.0.0-r1 08-Oct-2024 15:52 1159 gprbuild-23.0.0-r3 08-Oct-2024 15:52 1377 gprbuild-24.0.0-r2 08-Oct-2024 15:52 1416 gprconfig_kb-23.0.0-r3 08-Oct-2024 15:52 530 gprconfig_kb-24.0.0-r1 08-Oct-2024 15:52 568 gtkada-23.0.0-r2 08-Oct-2024 15:52 1885 gtkada-24.0.0 08-Oct-2024 15:52 1887 lal-refactor-0_p20231027 08-Oct-2024 15:52 1068 langkit-23.0.0-r3 14-Oct-2024 13:44 3929 langkit-24.0.0 14-Oct-2024 13:44 4954 libadalang-23.0.0-r3 14-Oct-2024 13:44 2971 libadalang-24.0.0-r1 14-Oct-2024 13:44 3658 libadalang-tools-23.0.0-r2 08-Oct-2024 15:52 1613 libadalang-tools-24.0.0-r1 08-Oct-2024 15:52 2151 libgpr-23.0.0 08-Oct-2024 15:52 1167 libgpr-23.0.0-r1 08-Oct-2024 15:52 1187 libgpr-24.0.0 08-Oct-2024 15:52 1187 markdown-23.0.0-r2 08-Oct-2024 15:52 1360 markdown-24.0.0 08-Oct-2024 15:52 1374 spawn-23.0.0-r3 08-Oct-2024 15:52 1541 spawn-24.0.0 08-Oct-2024 15:52 1541 templates-parser-23.0.0-r1 08-Oct-2024 15:52 1395 templates-parser-23.0.0-r2 08-Oct-2024 15:52 1505 templates-parser-24.0.0 08-Oct-2024 15:52 1505 xmlada-23.0.0-r1 08-Oct-2024 15:52 1036 xmlada-23.0.0-r3 08-Oct-2024 15:52 1254 xmlada-24.0.0-r3 08-Oct-2024 15:52 1376