Filename Modification time Size AdaSAT-25.0.0 2025-12-03 15:06 CET 1386 B Manifest.gz 2025-12-10 22:40 CET 6113 B VSS-25.0.0-r1 2025-12-03 15:06 CET 1732 B ada_language_server-25.0.20241014-r4 2025-12-03 04:40 CET 5823 B ada_libfswatch-2024.07.09-r1 2025-12-04 08:51 CET 1498 B adareducer-0.20250402 2025-12-09 19:41 CET 2214 B aunit-25.0.0-r3 2025-12-07 13:40 CET 1870 B aws-25.1.0-r3 2025-12-10 22:40 CET 4062 B e3-core-22.6.0-r3 2025-11-26 17:12 CET 6029 B e3-core-22.6.0-r5 2025-12-08 14:11 CET 6488 B e3-testsuite-26.0-r2 2025-11-26 17:12 CET 3051 B gnatcoll-bindings-25.0.0-r1 2025-12-04 20:40 CET 3458 B gnatcoll-core-25.0.0-r2 2025-12-04 08:51 CET 2119 B gnatcoll-db-25.0.0-r2 2025-12-03 04:40 CET 3363 B gnatdoc-25.0.0-r4 2025-12-03 04:40 CET 2176 B gnatformat-25.0.0-r1 2025-12-07 13:40 CET 2503 B gnatmem-2021-r6 2025-12-06 16:40 CET 1843 B gnatsymbolize-2021-r5 2025-12-03 04:40 CET 1155 B gpr-24.0.0-r2 2025-12-03 04:40 CET 2330 B gpr-24.2.0 2025-12-03 04:40 CET 2244 B gpr-25.0.0-r3 2025-12-07 00:11 CET 2780 B gprbuild-25.0.0-r5 2025-12-03 09:03 CET 2084 B gprconfig_kb-25.0.0-r3 2025-12-03 09:03 CET 680 B gtkada-25.0.1-r2 2025-12-07 23:12 CET 2053 B lal-refactor-25.0.0-r2 2025-12-07 22:40 CET 1647 B langkit-24.0.0-r2 2025-12-03 04:40 CET 4232 B langkit-25.0.0-r5 2025-12-04 21:10 CET 5408 B langkit-contrib-25.0.0-r2 2025-12-05 20:41 CET 3261 B libadalang-25.0.0-r1 2025-12-07 11:10 CET 3466 B libadalang-tools-25.0.0-r2 2025-12-07 21:40 CET 2354 B libgpr-25.0.0-r3 2025-12-03 21:10 CET 1271 B markdown-25.0.0-r2 2025-12-07 13:40 CET 2075 B prettier-ada-25.0.0-r2 2025-12-04 21:10 CET 2455 B spawn-25.0.0-r4 2025-12-07 22:40 CET 1352 B templates-parser-24.0.0-r1 2025-12-03 04:40 CET 1461 B templates-parser-25.0.0-r4 2025-12-07 20:40 CET 2330 B xmlada-25.0.0-r5 2025-12-03 09:03 CET 2200 B
