Filename Modification time Size AdaSAT-24.0.0-r2 2025-02-16 20:22 CET 1327 B AdaSAT-25.0.0 2025-02-16 20:22 CET 1354 B Manifest.gz 2025-02-20 11:41 CET 9366 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 2025-02-16 20:22 CET 3530 B ada_language_server-24.0.1 2025-02-16 20:22 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-02-16 20:22 CET 2042 B aws-24.0.0-r1 2025-02-04 19:11 CET 3062 B aws-25.1.0 2025-02-16 20:22 CET 4240 B e3-core-22.4.0 2025-02-16 20:22 CET 5084 B e3-core-22.6.0-r3 2025-02-16 20:22 CET 6031 B e3-testsuite-26.0-r2 2025-02-16 20:22 CET 3051 B gnatcoll-bindings-24.0.0-r1 2025-02-20 11:41 CET 2434 B gnatcoll-bindings-25.0.0 2025-02-20 11:41 CET 3252 B gnatcoll-core-24.0.0-r3 2024-12-28 21:11 CET 1330 B gnatcoll-core-25.0.0 2025-02-16 20:22 CET 2503 B gnatcoll-db-24.0.0-r1 2025-02-20 11:41 CET 2736 B gnatcoll-db-25.0.0 2025-02-20 11:41 CET 3502 B gnatdoc-24.0.0-r1 2025-02-09 22:41 CET 4072 B gnatdoc-25.0.0-r1 2025-02-18 23:11 CET 2081 B gnatformat-25.0.0 2025-02-16 23:11 CET 2131 B gnatmem-2021-r3 2025-02-17 23:13 CET 1731 B gnatsymbolize-2021-r3 2025-02-07 19:41 CET 1080 B gpr-24.0.0-r1 2025-01-18 22:41 CET 2387 B gpr-24.2.0 2025-02-09 21:11 CET 2061 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-r3 2025-02-16 22:11 CET 1414 B gprbuild-25.0.0-r3 2025-02-16 22:11 CET 1990 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 2025-02-17 23:13 CET 1851 B gtkada-25.0.1 2025-02-17 23:13 CET 1968 B lal-refactor-0_p20231027 2024-12-28 21:11 CET 1068 B lal-refactor-25.0.0 2025-02-11 21:41 CET 1014 B langkit-24.0.0-r2 2025-02-16 20:22 CET 5073 B langkit-25.0.0-r3 2025-02-18 20:41 CET 5224 B langkit-contrib-25.0.0-r1 2025-02-18 21:11 CET 2626 B libadalang-24.0.0-r2 2025-02-16 20:22 CET 3668 B libadalang-25.0.0 2025-02-18 22:11 CET 2931 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-16 20:22 CET 1849 B prettier-ada-25.0.0 2025-02-16 20:22 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-16 20:22 CET 2383 B xmlada-24.0.0-r3 2024-12-28 21:11 CET 1374 B xmlada-25.0.0-r2 2025-02-16 20:22 CET 2158 B
