Filename Modification time Size AdaSAT-24.0.0-r2 2025-03-10 03:11 CET 1281 B AdaSAT-25.0.0 2025-03-10 03:11 CET 1306 B Manifest.gz 2025-03-10 03:11 CET 8397 B VSS-24.0.0-r2 2025-03-10 03:11 CET 1416 B VSS-25.0.0 2025-03-10 03:11 CET 1337 B ada_language_server-25.0.20241014-r2 2025-03-10 03:11 CET 4833 B ada_libfswatch-2024.07.09 2025-03-10 03:11 CET 1139 B aunit-24.0.0-r4 2025-03-10 03:11 CET 945 B aunit-25.0.0-r2 2025-03-10 03:11 CET 1871 B aws-24.0.0-r1 2025-03-10 03:11 CET 2716 B aws-25.1.0-r1 2025-03-10 03:11 CET 3796 B e3-core-22.4.0 2025-02-16 20:22 CET 5084 B e3-core-22.6.0-r3 2025-03-10 02:14 CET 6029 B e3-testsuite-26.0-r2 2025-02-16 20:22 CET 3051 B gnatcoll-bindings-24.0.0-r3 2025-03-10 03:11 CET 2205 B gnatcoll-bindings-25.0.0 2025-03-10 03:11 CET 3156 B gnatcoll-core-24.0.0-r4 2025-03-10 03:11 CET 1213 B gnatcoll-core-25.0.0 2025-03-10 03:11 CET 2407 B gnatcoll-db-24.0.0-r2 2025-03-10 03:11 CET 2465 B gnatcoll-db-25.0.0-r1 2025-03-10 03:11 CET 3123 B gnatdoc-25.0.0-r3 2025-03-10 03:11 CET 1816 B gnatformat-25.0.0 2025-03-10 03:11 CET 1990 B gnatmem-2021-r4 2025-03-10 03:11 CET 1560 B gnatsymbolize-2021-r4 2025-03-10 03:11 CET 934 B gpr-24.0.0-r2 2025-03-10 03:11 CET 2041 B gpr-24.2.0 2025-03-10 03:11 CET 1955 B gpr-25.0.0-r1 2025-03-10 03:11 CET 1861 B gpr-unit-provider-23.0.0-r6 2025-03-10 03:11 CET 1571 B gprbuild-24.0.0-r4 2025-03-10 03:11 CET 1218 B gprbuild-25.0.0-r4 2025-03-10 03:11 CET 1794 B gprconfig_kb-24.0.0-r2 2025-03-10 03:11 CET 524 B gprconfig_kb-25.0.0-r2 2025-03-10 03:11 CET 533 B gtkada-24.0.0-r1 2025-03-10 03:11 CET 1680 B gtkada-25.0.1-r1 2025-03-10 03:11 CET 1797 B lal-refactor-25.0.0-r1 2025-03-10 03:11 CET 1677 B langkit-24.0.0-r2 2025-03-10 03:11 CET 4952 B langkit-25.0.0-r3 2025-03-10 03:11 CET 4978 B langkit-contrib-25.0.0-r1 2025-03-10 03:11 CET 2530 B libadalang-24.0.0-r3 2025-03-10 03:11 CET 3335 B libadalang-25.0.0 2025-03-10 03:11 CET 2663 B libadalang-tools-25.0.0-r1 2025-03-10 03:11 CET 1753 B libgpr-24.0.0-r1 2025-03-10 03:11 CET 1068 B libgpr-25.0.0-r1 2025-03-10 03:11 CET 1103 B markdown-24.0.0-r1 2025-03-10 03:11 CET 1149 B markdown-25.0.0 2025-03-10 03:11 CET 1728 B prettier-ada-25.0.0-r1 2025-03-10 03:11 CET 2109 B spawn-25.0.0-r1 2025-03-10 03:11 CET 1102 B templates-parser-24.0.0-r1 2025-03-10 03:11 CET 1282 B templates-parser-25.0.0-r2 2025-03-10 03:11 CET 2286 B xmlada-24.0.0-r4 2025-03-10 03:11 CET 1203 B xmlada-25.0.0-r3 2025-03-10 03:11 CET 1987 B
