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-24 22:22 CET 9035 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-24.0.1-r3 2025-02-24 22:22 CET 3614 B ada_language_server-25.0.20241014-r2 2025-02-24 22:22 CET 5722 B ada_libfswatch-2024.07.09 2025-02-23 21:40 CET 1235 B aunit-24.0.0-r4 2025-02-24 22:22 CET 991 B aunit-25.0.0-r2 2025-02-24 22:22 CET 1917 B aws-24.0.0-r1 2025-02-04 19:11 CET 3062 B aws-25.1.0-r1 2025-02-23 22:41 CET 4142 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-r2 2025-02-24 22:22 CET 2309 B gnatcoll-bindings-25.0.0 2025-02-20 11:41 CET 3252 B gnatcoll-core-24.0.0-r4 2025-02-24 22:22 CET 1309 B gnatcoll-core-25.0.0 2025-02-16 20:22 CET 2503 B gnatcoll-db-24.0.0-r2 2025-02-24 22:22 CET 2611 B gnatcoll-db-25.0.0-r1 2025-02-23 21:40 CET 3269 B gnatdoc-24.0.0-r2 2025-02-24 22:22 CET 3947 B gnatdoc-25.0.0-r2 2025-02-23 18:40 CET 1962 B gnatformat-25.0.0 2025-02-23 08:40 CET 2136 B gnatmem-2021-r4 2025-02-24 22:22 CET 1606 B gnatsymbolize-2021-r4 2025-02-24 22:22 CET 955 B gpr-24.0.0-r2 2025-02-24 22:22 CET 2262 B gpr-24.2.0 2025-02-23 09:50 CET 2176 B gpr-25.0.0-r1 2025-02-23 18:10 CET 2082 B gpr-unit-provider-23.0.0-r6 2025-02-24 22:22 CET 1717 B gprbuild-24.0.0-r4 2025-02-24 22:22 CET 1289 B gprbuild-25.0.0-r4 2025-02-24 22:22 CET 1865 B gprconfig_kb-24.0.0-r2 2025-02-24 22:22 CET 545 B gprconfig_kb-25.0.0-r2 2025-02-24 22:22 CET 554 B gtkada-24.0.0-r1 2025-02-24 22:22 CET 1726 B gtkada-25.0.1-r1 2025-02-24 22:22 CET 1843 B lal-refactor-0_p20231027-r1 2025-02-24 22:22 CET 1047 B lal-refactor-25.0.0-r1 2025-02-23 19:10 CET 1131 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-r3 2025-02-24 22:22 CET 3531 B libadalang-25.0.0 2025-02-23 09:50 CET 2809 B libadalang-tools-24.0.0-r2 2025-02-24 22:22 CET 2026 B libadalang-tools-25.0.0-r1 2025-02-23 16:10 CET 1942 B libgpr-24.0.0-r1 2025-02-24 22:22 CET 1164 B libgpr-25.0.0-r1 2025-02-24 22:22 CET 1201 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-r1 2025-02-23 19:40 CET 2255 B spawn-25.0.0-r1 2025-02-24 22:22 CET 1148 B templates-parser-24.0.0-r1 2025-02-24 22:22 CET 1378 B templates-parser-25.0.0-r2 2025-02-16 20:22 CET 2383 B xmlada-24.0.0-r4 2025-02-24 22:22 CET 1249 B xmlada-25.0.0-r3 2025-02-24 22:22 CET 2033 B
