Filename Modification time Size AdaSAT-25.0.0 2026-09-30 21:09 CEST 1436 B Manifest.gz 2026-10-22 20:38 CEST 10 KiB ada_language_server-25.0.20241014-r5 2026-09-04 18:44 CEST 5825 B ada_language_server-26.0.202507021 2026-09-04 18:44 CEST 6178 B ada_libfswatch-2024.07.09-r1 2026-09-04 18:44 CEST 1498 B adareducer-0.20250402 2026-10-22 20:08 CEST 1958 B aunit-25.0.0-r3 2026-09-30 21:09 CEST 1789 B aunit-26.0.0 2026-09-30 21:09 CEST 1920 B aws-25.1.0-r3 2026-09-30 21:09 CEST 3981 B aws-25.2.0 2026-09-30 21:09 CEST 4114 B aws-26.0.0 2026-09-30 21:09 CEST 4112 B e3-core-22.6.0-r3 2026-10-22 20:38 CEST 3320 B e3-core-22.10.0 2026-10-22 20:38 CEST 5281 B e3-testsuite-26.0-r2 2026-10-22 20:38 CEST 1902 B e3-testsuite-26.0-r3 2026-10-22 20:38 CEST 2577 B gnatcoll-bindings-25.0.0-r1 2026-10-22 20:08 CEST 2541 B gnatcoll-bindings-26.0.0 2026-10-22 20:08 CEST 3026 B gnatcoll-core-25.0.0-r2 2026-09-30 21:09 CEST 1968 B gnatcoll-core-26.0.0 2026-09-30 21:09 CEST 2171 B gnatcoll-db-25.0.0-r2 2026-10-22 20:08 CEST 2876 B gnatcoll-db-26.0.0 2026-10-22 20:08 CEST 3198 B gnatdoc-25.0.0-r7 2026-10-22 20:08 CEST 1940 B gnatdoc-25.2.0-r1 2026-10-22 20:08 CEST 1937 B gnatdoc-26.0.0-r1 2026-10-22 20:08 CEST 2571 B gnatformat-25.0.0-r3 2026-09-30 21:09 CEST 3328 B gnatformat-26.0.0-r2 2026-09-30 21:09 CEST 3843 B gnatmem-2021-r6 2026-09-20 05:38 CEST 1873 B gnatsymbolize-2021-r5 2026-09-04 18:44 CEST 1271 B gpr-24.0.0-r3 2026-09-04 18:44 CEST 2338 B gpr-24.2.0-r1 2026-09-04 18:44 CEST 2252 B gpr-25.0.0-r4 2026-09-30 21:09 CEST 2754 B gpr-26.0.0 2026-09-30 21:09 CEST 2777 B gprbuild-25.0.0-r5 2026-09-30 21:09 CEST 1952 B gprbuild-26.0.0 2026-09-30 21:09 CEST 1722 B gprconfig_kb-25.0.0-r3 2026-09-04 18:44 CEST 680 B gprconfig_kb-26.0.0 2026-09-04 18:44 CEST 682 B gtkada-25.0.1-r2 2026-09-20 05:38 CEST 2083 B gtkada-26.0.0 2026-09-20 05:38 CEST 2085 B lal-refactor-25.0.0-r2 2026-09-30 21:09 CEST 1621 B lal-refactor-26.0.0 2026-09-30 21:09 CEST 1697 B langkit-25.0.0-r7 2026-10-22 20:38 CEST 4504 B langkit-26.0.0-r1 2026-10-22 20:38 CEST 5207 B langkit-contrib-25.0.0-r2 2026-10-22 20:38 CEST 2454 B langkit-contrib-26.0.0 2026-10-22 20:38 CEST 2874 B libadalang-25.0.0-r1 2026-10-22 20:08 CEST 2617 B libadalang-26.0.0 2026-10-22 20:08 CEST 3145 B libadalang-tools-25.0.0-r4 2026-09-04 18:44 CEST 3004 B libadalang-tools-26.0.0-r1 2026-09-04 18:44 CEST 3004 B libgpr-25.0.0-r3 2026-09-04 18:44 CEST 1271 B libgpr-26.0.0 2026-09-04 18:44 CEST 1217 B markdown-25.0.0-r2 2026-09-30 21:09 CEST 2114 B markdown-26.0.0-r1 2026-09-30 21:09 CEST 2282 B prettier-ada-25.0.0-r4 2026-09-30 21:09 CEST 2417 B prettier-ada-26.0.0 2026-09-30 21:09 CEST 2495 B spawn-25.0.0-r4 2026-09-04 18:44 CEST 1352 B spawn-26.0.0-r1 2026-09-04 18:44 CEST 1642 B templates-parser-26.0.0-r1 2026-09-30 21:09 CEST 2386 B vss-extra-26.0.0 2026-09-04 18:44 CEST 1777 B vss-text-25.0.0-r1 2026-09-04 18:44 CEST 1775 B vss-text-26.0.0 2026-09-04 18:44 CEST 1488 B xmlada-25.0.0-r5 2026-09-30 21:09 CEST 1954 B xmlada-26.0.0 2026-09-30 21:09 CEST 2106 B
