Filename Modification time Size AdaSAT-24.0.0-r2 2024-12-28 21:11 CET 1327 B AdaSAT-25.0.0 2025-01-26 19:11 CET 1354 B Manifest.gz 2025-02-05 22:11 CET 8703 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 ada_libfswatch-20240709 2025-01-12 14:41 CET 1233 B aunit-24.0.0-r3 2024-12-28 21:11 CET 1116 B aunit-25.0.0-r1 2025-01-07 22:11 CET 2044 B aws-24.0.0-r1 2025-02-04 19:11 CET 3062 B aws-25.1.0 2025-02-04 22:10 CET 4242 B e3-core-22.4.0 2025-01-28 08:48 CET 5084 B e3-core-22.6.0-r3 2025-01-28 08:48 CET 6031 B e3-testsuite-26.0-r2 2025-01-28 08:48 CET 3051 B gnatcoll-bindings-24.0.0-r1 2024-12-28 21:11 CET 2614 B gnatcoll-bindings-25.0.0 2025-01-11 23:41 CET 3736 B gnatcoll-core-24.0.0-r3 2024-12-28 21:11 CET 1330 B gnatcoll-core-25.0.0 2025-01-09 23:41 CET 2505 B gnatcoll-db-24.0.0-r1 2024-12-28 21:11 CET 2916 B gnatcoll-db-25.0.0 2025-02-05 20:41 CET 4135 B gnatdoc-24.0.0 2025-02-02 21:11 CET 4066 B gnatdoc-25.0.0 2025-02-02 21:40 CET 2236 B gnatmem-2021-r3 2025-01-06 09:40 CET 1765 B gnatsymbolize-2021-r3 2025-02-05 21:41 CET 1073 B gpr-24.0.0-r1 2025-01-18 22:41 CET 2387 B gpr-25.0.0 2025-01-18 23:10 CET 2075 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-r2 2025-01-07 22:40 CET 1992 B gprconfig_kb-24.0.0-r1 2024-12-28 21:11 CET 566 B gprconfig_kb-25.0.0-r1 2025-01-25 23:41 CET 575 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-24.0.0-r2 2025-01-28 08:48 CET 5073 B langkit-25.0.0-r2 2025-02-01 23:10 CET 4987 B langkit-contrib-25.0.0 2025-02-02 10:11 CET 2699 B libadalang-24.0.0-r2 2025-02-02 16:11 CET 3668 B libadalang-25.0.0 2025-02-02 16:40 CET 3326 B libadalang-tools-24.0.0-r1 2024-12-28 21:11 CET 2151 B libadalang-tools-25.0.0 2025-02-03 21:40 CET 2144 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-02-02 18:40 CET 1849 B prettier-ada-25.0.0 2025-01-27 20:41 CET 2363 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-02-02 21:40 CET 2383 B xmlada-24.0.0-r3 2024-12-28 21:11 CET 1374 B xmlada-25.0.0-r2 2025-01-07 22:11 CET 2160 B
