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 17-Dec-2024 22:53 1327 Manifest.gz 17-Dec-2024 22:53 9342 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 17-Dec-2024 22:53 3530 ada_language_server-24.0.1 17-Dec-2024 22:53 3858 ada_libfswatch-20201105-r2 26-Nov-2024 19:41 1320 aunit-23.0.0-r1 08-Oct-2024 15:52 1041 aunit-24.0.0-r3 14-Dec-2024 15:12 1116 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-r1 15-Dec-2024 04:41 3061 e3-core-22.2.0 17-Dec-2024 22:53 3968 e3-core-22.4.0 17-Dec-2024 22:53 5084 e3-testsuite-25.0 17-Dec-2024 22:53 1740 e3-testsuite-26.0 17-Dec-2024 22:53 2077 gnatcoll-bindings-23.0.0-r2 17-Dec-2024 22:53 2326 gnatcoll-bindings-24.0.0-r1 17-Dec-2024 22:53 2614 gnatcoll-core-23.0.0-r1 08-Oct-2024 15:52 1205 gnatcoll-core-24.0.0-r3 14-Dec-2024 18:41 1330 gnatcoll-db-23.0.0-r1 17-Dec-2024 22:53 2735 gnatcoll-db-24.0.0-r1 17-Dec-2024 22:53 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 17-Dec-2024 22:53 1650 gnatsymbolize-2021-r2 26-Nov-2024 19:41 965 gpr-23.0.0-r6 17-Dec-2024 22:53 2711 gpr-24.0.0-r1 15-Dec-2024 04:41 2381 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 14-Dec-2024 14:29 1414 gprconfig_kb-23.0.0-r3 08-Oct-2024 15:52 530 gprconfig_kb-24.0.0-r1 23-Nov-2024 14:13 566 gtkada-23.0.0-r2 17-Dec-2024 22:53 1885 gtkada-24.0.0 17-Dec-2024 22:53 1885 lal-refactor-0_p20231027 26-Nov-2024 19:41 1068 langkit-23.0.0-r3 17-Dec-2024 22:53 3929 langkit-24.0.0 17-Dec-2024 22:53 4952 libadalang-23.0.0-r3 17-Dec-2024 22:53 2971 libadalang-24.0.0-r1 17-Dec-2024 22:53 3656 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 26-Nov-2024 19:41 1167 libgpr-23.0.0-r1 26-Nov-2024 19:41 1187 libgpr-24.0.0 14-Dec-2024 12:11 1185 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 26-Nov-2024 19:41 1395 templates-parser-23.0.0-r2 26-Nov-2024 19:41 1505 templates-parser-24.0.0 14-Dec-2024 17:11 1503 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 14-Dec-2024 12:11 1374