Filename Modification time Size AdaSAT-24.0.0-r2 2025-03-10 03:11 CET 1281 B AdaSAT-25.0.0 2025-04-05 18:43 CEST 1382 B Manifest.gz 2025-04-06 01:32 CEST 8391 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.6.0-r3 2025-04-02 09:56 CEST 7430 B e3-core-22.6.0-r4 2025-04-02 09:56 CEST 7854 B e3-testsuite-26.0-r2 2025-04-03 21:12 CEST 3672 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-11 09: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-04-05 18:43 CEST 1974 B gnatformat-25.0.0 2025-04-06 01:32 CEST 2191 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-04-02 09:56 CEST 4952 B langkit-25.0.0-r3 2025-04-02 09:56 CEST 4978 B langkit-contrib-25.0.0-r1 2025-04-05 18:43 CEST 2959 B libadalang-24.0.0-r3 2025-03-10 03:11 CET 3335 B libadalang-25.0.0 2025-04-05 18:43 CEST 3113 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-04-03 21:12 CEST 2185 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
