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-23 22:41 CET 9369 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-r2 2025-02-23 22:41 CET 3630 B ada_language_server-25.0.20241014 2025-02-23 15:40 CET 5738 B ada_libfswatch-2020.11.05 2025-02-23 21:40 CET 1322 B ada_libfswatch-2024.07.09 2025-02-23 21:40 CET 1235 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-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-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-r1 2025-02-23 21:40 CET 3269 B gnatdoc-24.0.0-r1 2025-02-09 22:41 CET 4072 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-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-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-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-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-r2 2025-02-23 15:40 CET 3656 B libadalang-25.0.0 2025-02-23 09:50 CET 2809 B libadalang-tools-24.0.0-r1 2024-12-28 21:11 CET 2151 B libadalang-tools-25.0.0-r1 2025-02-23 16:10 CET 1942 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-r1 2025-02-23 19:40 CET 2255 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
