Filename Modification time Size AdaSAT-25.0.0 2025-12-24 18:20 CET 1386 B Manifest.gz 2025-12-24 19:10 CET 8395 B ada_language_server-25.0.20241014-r5 2025-12-24 18:20 CET 5825 B ada_libfswatch-2024.07.09-r1 2025-12-24 18:20 CET 1498 B adareducer-0.20250402 2025-12-24 18:20 CET 1810 B aunit-25.0.0-r3 2025-12-24 18:20 CET 1870 B aunit-26.0.0 2025-12-24 18:20 CET 2003 B aws-25.1.0-r3 2025-12-24 18:20 CET 4062 B aws-25.2.0 2025-12-24 18:20 CET 4195 B aws-26.0.0 2025-12-24 18:20 CET 4195 B e3-core-22.6.0-r3 2025-12-24 18:20 CET 4628 B e3-core-22.6.0-r5 2025-12-24 18:20 CET 4967 B e3-core-22.8.0 2025-12-24 18:20 CET 5216 B e3-core-22.10.0 2025-12-24 18:20 CET 5136 B e3-testsuite-26.0-r2 2025-12-24 18:20 CET 2430 B gnatcoll-bindings-25.0.0-r1 2025-12-24 18:20 CET 2974 B gnatcoll-bindings-26.0.0 2025-12-24 18:20 CET 3460 B gnatcoll-core-25.0.0-r2 2025-12-24 18:20 CET 2119 B gnatcoll-core-26.0.0 2025-12-24 18:20 CET 2121 B gnatcoll-db-25.0.0-r2 2025-12-24 18:20 CET 3148 B gnatcoll-db-26.0.0 2025-12-24 18:20 CET 3471 B gnatdoc-25.0.0-r5 2025-12-24 18:20 CET 2019 B gnatformat-25.0.0-r1 2025-12-24 18:20 CET 2503 B gnatmem-2021-r6 2025-12-24 18:20 CET 1843 B gnatsymbolize-2021-r5 2025-12-24 18:20 CET 1271 B gpr-24.0.0-r2 2025-12-24 18:20 CET 2330 B gpr-24.2.0 2025-12-24 18:20 CET 2244 B gpr-25.0.0-r3 2025-12-24 18:20 CET 2780 B gprbuild-25.0.0-r5 2025-12-24 18:20 CET 2084 B gprbuild-26.0.0 2025-12-24 18:20 CET 1856 B gprconfig_kb-25.0.0-r3 2025-12-24 18:20 CET 680 B gprconfig_kb-26.0.0 2025-12-24 18:20 CET 682 B gtkada-25.0.1-r2 2025-12-24 18:20 CET 2053 B lal-refactor-25.0.0-r2 2025-12-24 18:20 CET 1647 B langkit-24.0.0-r2 2025-12-24 18:20 CET 3406 B langkit-25.0.0-r7 2025-12-24 18:20 CET 5071 B langkit-contrib-25.0.0-r2 2025-12-24 18:20 CET 2832 B libadalang-25.0.0-r1 2025-12-24 18:20 CET 3016 B libadalang-tools-25.0.0-r3 2025-12-24 19:10 CET 2352 B libgpr-25.0.0-r3 2025-12-24 18:20 CET 1271 B libgpr-26.0.0 2025-12-24 18:20 CET 1219 B markdown-25.0.0-r2 2025-12-24 18:20 CET 2085 B prettier-ada-25.0.0-r3 2025-12-24 18:20 CET 2457 B spawn-25.0.0-r4 2025-12-24 18:20 CET 1352 B templates-parser-24.0.0-r1 2025-12-24 18:20 CET 1461 B templates-parser-25.0.0-r4 2025-12-24 18:20 CET 2330 B vss-extra-26.0.0 2025-12-24 18:20 CET 1777 B vss-text-25.0.0-r1 2025-12-24 18:20 CET 1775 B vss-text-26.0.0 2025-12-24 18:20 CET 1490 B xmlada-25.0.0-r5 2025-12-24 18:20 CET 2200 B xmlada-26.0.0 2025-12-24 18:20 CET 2354 B
