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 16-Feb-2025 19:22 1327 AdaSAT-25.0.0 16-Feb-2025 19:22 1354 Manifest.gz 23-Feb-2025 18:40 9533 VSS-24.0.0-r2 29-Dec-2024 11:11 1512 VSS-25.0.0 05-Jan-2025 22:12 1435 ada_language_server-23.0.10-r3 16-Feb-2025 19:22 3530 ada_language_server-24.0.1-r1 23-Feb-2025 18:40 3870 ada_language_server-25.0.20241014 23-Feb-2025 14:40 5738 ada_libfswatch-20201105-r2 28-Dec-2024 20:11 1320 ada_libfswatch-20240709 12-Jan-2025 13:41 1233 aunit-24.0.0-r3 28-Dec-2024 20:11 1116 aunit-25.0.0-r1 16-Feb-2025 19:22 2042 aws-24.0.0-r1 04-Feb-2025 18:11 3062 aws-25.1.0 16-Feb-2025 19:22 4240 e3-core-22.4.0 16-Feb-2025 19:22 5084 e3-core-22.6.0-r3 16-Feb-2025 19:22 6031 e3-testsuite-26.0-r2 16-Feb-2025 19:22 3051 gnatcoll-bindings-24.0.0-r1 20-Feb-2025 10:41 2434 gnatcoll-bindings-25.0.0 20-Feb-2025 10:41 3252 gnatcoll-core-24.0.0-r3 28-Dec-2024 20:11 1330 gnatcoll-core-25.0.0 16-Feb-2025 19:22 2503 gnatcoll-db-24.0.0-r1 20-Feb-2025 10:41 2736 gnatcoll-db-25.0.0 20-Feb-2025 10:41 3502 gnatdoc-24.0.0-r1 09-Feb-2025 21:41 4072 gnatdoc-25.0.0-r2 23-Feb-2025 17:40 1962 gnatformat-25.0.0 23-Feb-2025 07:40 2136 gnatmem-2021-r3 17-Feb-2025 22:13 1731 gnatsymbolize-2021-r3 07-Feb-2025 18:41 1080 gpr-24.0.0-r1 18-Jan-2025 21:41 2387 gpr-24.2.0 23-Feb-2025 08:50 2176 gpr-25.0.0-r1 23-Feb-2025 17:10 2082 gpr-unit-provider-23.0.0-r5 28-Dec-2024 20:11 1836 gprbuild-24.0.0-r3 16-Feb-2025 21:11 1414 gprbuild-25.0.0-r3 16-Feb-2025 21:11 1990 gprconfig_kb-24.0.0-r1 28-Dec-2024 20:11 566 gprconfig_kb-25.0.0-r1 25-Jan-2025 22:41 575 gtkada-24.0.0 17-Feb-2025 22:13 1851 gtkada-25.0.1 17-Feb-2025 22:13 1968 lal-refactor-0_p20231027 28-Dec-2024 20:11 1068 lal-refactor-25.0.0-r1 23-Feb-2025 18:10 1131 langkit-24.0.0-r2 16-Feb-2025 19:22 5073 langkit-25.0.0-r3 18-Feb-2025 19:41 5224 langkit-contrib-25.0.0-r1 18-Feb-2025 20:11 2626 libadalang-24.0.0-r2 23-Feb-2025 14:40 3656 libadalang-25.0.0 23-Feb-2025 08:50 2809 libadalang-tools-24.0.0-r1 28-Dec-2024 20:11 2151 libadalang-tools-25.0.0-r1 23-Feb-2025 15:10 1942 libgpr-24.0.0 28-Dec-2024 20:11 1185 libgpr-25.0.0 05-Jan-2025 09:11 1222 markdown-24.0.0-r1 01-Jan-2025 12:25 1270 markdown-25.0.0 16-Feb-2025 19:22 1849 prettier-ada-25.0.0-r1 23-Feb-2025 18:40 2255 spawn-24.0.0 28-Dec-2024 20:11 1541 spawn-25.0.0 05-Jan-2025 22:41 1273 templates-parser-24.0.0 28-Dec-2024 20:11 1503 templates-parser-25.0.0-r2 16-Feb-2025 19:22 2383 xmlada-24.0.0-r3 28-Dec-2024 20:11 1374 xmlada-25.0.0-r2 16-Feb-2025 19:22 2158