Filename Modification time Size AdaSAT-25.0.0 2025-05-08 14:46 CEST 1282 B Manifest.gz 2025-05-29 15:16 CEST 6108 B VSS-25.0.0-r1 2025-05-07 07:11 CEST 1445 B ada_language_server-25.0.20241014-r4 2025-05-28 21:42 CEST 4940 B ada_libfswatch-2024.07.09-r1 2025-05-10 23:10 CEST 1229 B aunit-25.0.0-r3 2025-05-10 00:41 CEST 1676 B aws-25.1.0-r3 2025-05-11 10:41 CEST 3604 B e3-core-22.6.0-r3 2025-05-10 22:12 CEST 6029 B e3-core-22.6.0-r4 2025-05-11 21:41 CEST 6375 B e3-testsuite-26.0-r2 2025-05-10 22:12 CEST 3051 B gnatcoll-bindings-25.0.0-r1 2025-05-08 14:46 CEST 3220 B gnatcoll-core-25.0.0-r2 2025-05-08 14:46 CEST 1971 B gnatcoll-db-25.0.0-r2 2025-05-11 11:11 CEST 3189 B gnatdoc-25.0.0-r4 2025-05-10 23:10 CEST 2002 B gnatformat-25.0.0-r1 2025-05-10 23:10 CEST 2239 B gnatmem-2021-r5 2025-05-29 15:16 CEST 1624 B gnatsymbolize-2021-r5 2025-05-11 20:11 CEST 1042 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-r3 2025-05-08 14:46 CEST 2432 B gprbuild-25.0.0-r5 2025-05-08 14:46 CEST 1868 B gprconfig_kb-25.0.0-r3 2025-05-01 23:41 CEST 549 B gtkada-25.0.1-r2 2025-05-29 15:16 CEST 1859 B lal-refactor-25.0.0-r2 2025-05-10 23:10 CEST 1499 B langkit-24.0.0-r2 2025-05-10 22:12 CEST 4126 B langkit-25.0.0-r5 2025-05-10 22:12 CEST 5084 B langkit-contrib-25.0.0-r2 2025-05-08 14:46 CEST 3024 B libadalang-24.0.0-r3 2025-05-08 14:46 CEST 2947 B libadalang-25.0.0-r1 2025-05-08 14:46 CEST 3185 B libadalang-tools-25.0.0-r2 2025-05-10 00:41 CEST 1957 B libgpr-25.0.0-r3 2025-05-01 23:41 CEST 1074 B markdown-25.0.0-r1 2025-05-10 23:10 CEST 1855 B prettier-ada-25.0.0-r2 2025-05-08 14:46 CEST 2173 B spawn-25.0.0-r3 2025-05-23 20:41 CEST 1169 B templates-parser-24.0.0-r1 2025-03-10 03:11 CET 1282 B templates-parser-25.0.0-r3 2025-05-10 00:41 CEST 2192 B xmlada-25.0.0-r5 2025-05-08 14:46 CEST 2006 B
