Filename Modification time Size AdaSAT-25.0.0 2026-03-12 16:43 CET 1436 B Manifest.gz 2026-03-12 16:43 CET 12 KiB ada_language_server-25.0.20241014-r5 2026-03-12 16:43 CET 5825 B ada_language_server-26.0.202411173 2026-03-12 16:43 CET 6178 B ada_language_server-26.0.202412191 2026-03-12 16:43 CET 6178 B ada_language_server-26.0.202502240 2026-03-12 16:43 CET 6178 B ada_language_server-26.0.202504012 2026-03-12 16:43 CET 6178 B ada_language_server-26.0.202504171 2026-03-12 16:43 CET 6178 B ada_language_server-26.0.202507020 2026-03-12 16:43 CET 6178 B ada_language_server-26.0.202507021 2026-03-12 16:43 CET 6178 B ada_libfswatch-2024.07.09-r1 2026-03-12 16:43 CET 1498 B adareducer-0.20250402 2026-03-12 16:43 CET 1860 B aunit-25.0.0-r3 2026-03-12 16:43 CET 1920 B aunit-26.0.0 2026-03-12 16:43 CET 2053 B aws-25.1.0-r3 2026-03-12 16:43 CET 4112 B aws-25.2.0 2026-03-12 16:43 CET 4245 B aws-26.0.0 2026-03-12 16:43 CET 4245 B e3-core-22.6.0-r3 2026-03-12 16:43 CET 4678 B e3-core-22.6.0-r5 2026-03-12 16:43 CET 5017 B e3-core-22.8.0 2026-03-12 16:43 CET 5266 B e3-core-22.10.0 2026-03-12 16:43 CET 5186 B e3-testsuite-26.0-r2 2026-03-12 16:43 CET 2480 B gnatcoll-bindings-25.0.0-r1 2026-03-12 16:43 CET 3024 B gnatcoll-bindings-26.0.0 2026-03-12 16:43 CET 3510 B gnatcoll-core-25.0.0-r2 2026-03-12 16:43 CET 2169 B gnatcoll-core-26.0.0 2026-03-12 16:43 CET 2171 B gnatcoll-db-25.0.0-r2 2026-03-12 16:43 CET 3198 B gnatcoll-db-26.0.0 2026-03-12 16:43 CET 3521 B gnatdoc-25.0.0-r7 2026-03-12 16:43 CET 2097 B gnatdoc-25.2.0-r1 2026-03-12 16:43 CET 2094 B gnatdoc-26.0.0-r1 2026-03-12 16:43 CET 2571 B gnatformat-25.0.0-r3 2026-03-12 16:43 CET 3529 B gnatformat-26.0.0-r2 2026-03-12 16:43 CET 3843 B gnatmem-2021-r6 2026-03-12 16:43 CET 1843 B gnatsymbolize-2021-r5 2026-03-12 16:43 CET 1271 B gpr-24.0.0-r3 2026-03-12 16:43 CET 2338 B gpr-24.2.0-r1 2026-03-12 16:43 CET 2252 B gpr-25.0.0-r4 2026-03-12 16:43 CET 2830 B gpr-26.0.0 2026-03-12 16:43 CET 2777 B gprbuild-25.0.0-r5 2026-03-12 16:43 CET 2134 B gprbuild-26.0.0 2026-03-12 16:43 CET 1906 B gprconfig_kb-25.0.0-r3 2026-03-12 16:43 CET 680 B gprconfig_kb-26.0.0 2026-03-12 16:43 CET 682 B gtkada-25.0.1-r2 2026-03-12 16:43 CET 2053 B gtkada-26.0.0 2026-03-12 16:43 CET 2055 B lal-refactor-25.0.0-r2 2026-03-12 16:43 CET 1697 B lal-refactor-26.0.0 2026-03-12 16:43 CET 1697 B langkit-24.0.0-r2 2026-03-12 16:43 CET 3456 B langkit-25.0.0-r7 2026-03-12 16:43 CET 5121 B langkit-26.0.0 2026-03-12 16:43 CET 5772 B langkit-contrib-25.0.0-r2 2026-03-12 16:43 CET 2882 B langkit-contrib-26.0.0 2026-03-12 16:43 CET 2874 B libadalang-25.0.0-r1 2026-03-12 16:43 CET 3066 B libadalang-26.0.0 2026-03-12 16:43 CET 3054 B libadalang-tools-25.0.0-r4 2026-03-12 16:43 CET 3004 B libadalang-tools-26.0.0-r1 2026-03-12 16:43 CET 3004 B libgpr-25.0.0-r3 2026-03-12 16:43 CET 1271 B libgpr-26.0.0 2026-03-12 16:43 CET 1219 B markdown-25.0.0-r2 2026-03-12 16:43 CET 2135 B markdown-26.0.0-r1 2026-03-12 16:43 CET 2303 B prettier-ada-25.0.0-r4 2026-03-12 16:43 CET 2493 B prettier-ada-26.0.0 2026-03-12 16:43 CET 2495 B spawn-25.0.0-r4 2026-03-12 16:43 CET 1352 B spawn-26.0.0-r1 2026-03-12 16:43 CET 1642 B templates-parser-24.0.0-r2 2026-03-12 16:43 CET 1466 B templates-parser-25.0.0-r5 2026-03-12 16:43 CET 2385 B templates-parser-26.0.0-r1 2026-03-12 16:43 CET 2386 B vss-extra-26.0.0 2026-03-12 16:43 CET 1777 B vss-text-25.0.0-r1 2026-03-12 16:43 CET 1775 B vss-text-26.0.0 2026-03-12 16:43 CET 1490 B xmlada-25.0.0-r5 2026-03-12 16:43 CET 2250 B xmlada-26.0.0 2026-03-12 16:43 CET 2404 B
