Filename Modification time Size AdaSAT-24.0.0-r2 2024-12-28 21:11 CET 1327 B Manifest.gz 2025-01-06 22:13 CET 8051 B VSS-24.0.0-r2 2024-12-29 12:11 CET 1512 B VSS-25.0.0 2025-01-05 23:12 CET 1435 B ada_language_server-23.0.10-r3 2024-12-28 21:11 CET 3530 B ada_language_server-24.0.1 2024-12-28 21:11 CET 3858 B ada_libfswatch-20201105-r2 2024-12-28 21:11 CET 1320 B aunit-24.0.0-r3 2024-12-28 21:11 CET 1116 B aunit-25.0.0 2025-01-05 09:41 CET 1275 B aws-22.0.0 2024-12-28 21:11 CET 1190 B aws-23.0.0-r4 2024-12-28 21:11 CET 2863 B aws-24.0.0-r1 2024-12-28 21:11 CET 3061 B e3-core-22.4.0 2024-12-17 23:53 CET 5084 B e3-core-22.6.0-r2 2025-01-06 22:13 CET 5698 B e3-testsuite-26.0-r1 2025-01-06 22:13 CET 2439 B gnatcoll-bindings-23.0.0-r2 2024-12-28 21:11 CET 2326 B gnatcoll-bindings-24.0.0-r1 2024-12-28 21:11 CET 2614 B gnatcoll-core-24.0.0-r3 2024-12-28 21:11 CET 1330 B gnatcoll-db-24.0.0-r1 2024-12-28 21:11 CET 2916 B gnatdoc-23.0.0-r2 2024-12-28 21:11 CET 3998 B gnatdoc-24.0.0 2024-12-28 21:11 CET 4054 B gnatmem-2021-r3 2025-01-06 09:40 CET 1765 B gnatsymbolize-2021-r2 2024-12-28 21:11 CET 965 B gpr-23.0.0-r6 2024-12-28 21:11 CET 2711 B gpr-24.0.0-r1 2024-12-28 21:11 CET 2381 B gpr-unit-provider-23.0.0-r5 2024-12-28 21:11 CET 1836 B gprbuild-24.0.0-r2 2024-12-28 21:11 CET 1414 B gprbuild-25.0.0-r1 2025-01-05 20:11 CET 1433 B gprconfig_kb-24.0.0-r1 2024-12-28 21:11 CET 566 B gprconfig_kb-25.0.0 2025-01-05 09:41 CET 575 B gtkada-23.0.0-r2 2024-12-28 21:11 CET 1885 B gtkada-24.0.0 2024-12-28 21:11 CET 1885 B lal-refactor-0_p20231027 2024-12-28 21:11 CET 1068 B langkit-23.0.0-r3 2024-12-28 21:11 CET 3929 B langkit-24.0.0 2024-12-28 21:11 CET 4952 B libadalang-23.0.0-r3 2024-12-28 21:11 CET 2971 B libadalang-24.0.0-r1 2024-12-28 21:11 CET 3656 B libadalang-tools-23.0.0-r2 2024-12-28 21:11 CET 1613 B libadalang-tools-24.0.0-r1 2024-12-28 21:11 CET 2151 B libgpr-24.0.0 2024-12-28 21:11 CET 1185 B libgpr-25.0.0 2025-01-05 10:11 CET 1222 B markdown-24.0.0-r1 2025-01-01 13:25 CET 1270 B markdown-25.0.0 2025-01-05 23:12 CET 1759 B spawn-24.0.0 2024-12-28 21:11 CET 1541 B spawn-25.0.0 2025-01-05 23:41 CET 1273 B templates-parser-24.0.0 2024-12-28 21:11 CET 1503 B templates-parser-25.0.0-r2 2025-01-06 10:40 CET 2376 B xmlada-24.0.0-r3 2024-12-28 21:11 CET 1374 B xmlada-25.0.0-r1 2025-01-05 09:41 CET 1409 B
