Filename Modification time Size AdaSAT-24.0.0 2024-10-08 17:52 CEST 875 B Manifest.gz 2024-11-22 21:42 CET 9342 B VSS-22.0.0-r2 2024-10-08 17:52 CEST 1162 B VSS-23.0.0-r2 2024-10-08 17:52 CEST 1424 B VSS-24.0.0-r2 2024-10-15 20:40 CEST 1514 B ada_language_server-23.0.10-r3 2024-10-08 17:52 CEST 3530 B ada_language_server-24.0.1 2024-10-08 17:52 CEST 3858 B ada_libfswatch-20201105-r2 2024-10-08 17:52 CEST 1320 B aunit-23.0.0-r1 2024-10-08 17:52 CEST 1041 B aunit-24.0.0-r3 2024-10-08 17:52 CEST 1118 B aws-22.0.0 2024-10-08 17:52 CEST 1190 B aws-23.0.0-r4 2024-10-08 17:52 CEST 2863 B aws-24.0.0 2024-10-08 17:52 CEST 2863 B e3-core-22.2.0 2024-11-22 21:42 CET 3968 B e3-core-22.4.0 2024-11-22 21:42 CET 5084 B e3-testsuite-25.0 2024-11-22 21:42 CET 1740 B e3-testsuite-26.0 2024-11-22 21:42 CET 2077 B gnatcoll-bindings-23.0.0-r2 2024-10-14 15:44 CEST 2326 B gnatcoll-bindings-24.0.0-r1 2024-11-21 15:11 CET 2614 B gnatcoll-core-23.0.0-r1 2024-10-08 17:52 CEST 1205 B gnatcoll-core-24.0.0-r3 2024-10-19 20:41 CEST 1332 B gnatcoll-db-23.0.0-r1 2024-10-14 15:44 CEST 2735 B gnatcoll-db-24.0.0-r1 2024-10-14 15:44 CEST 2916 B gnatdoc-23.0.0-r2 2024-10-08 17:52 CEST 3998 B gnatdoc-24.0.0 2024-10-08 17:52 CEST 4054 B gnatmem-2021-r2 2024-10-08 17:52 CEST 1650 B gnatsymbolize-2021-r2 2024-10-08 17:52 CEST 965 B gpr-23.0.0-r6 2024-10-14 15:44 CEST 2711 B gpr-24.0.0-r1 2024-10-19 20:41 CEST 2383 B gpr-unit-provider-23.0.0-r5 2024-10-19 22:11 CEST 1836 B gprbuild-23.0.0-r1 2024-10-08 17:52 CEST 1159 B gprbuild-23.0.0-r3 2024-10-08 17:52 CEST 1377 B gprbuild-24.0.0-r2 2024-11-22 09:40 CET 1415 B gprconfig_kb-23.0.0-r3 2024-10-08 17:52 CEST 530 B gprconfig_kb-24.0.0-r1 2024-11-22 03:10 CET 567 B gtkada-23.0.0-r2 2024-10-08 17:52 CEST 1885 B gtkada-24.0.0 2024-10-08 17:52 CEST 1887 B lal-refactor-0_p20231027 2024-10-08 17:52 CEST 1068 B langkit-23.0.0-r3 2024-11-22 21:42 CET 3929 B langkit-24.0.0 2024-11-22 21:42 CET 4954 B libadalang-23.0.0-r3 2024-10-14 15:44 CEST 2971 B libadalang-24.0.0-r1 2024-10-14 15:44 CEST 3658 B libadalang-tools-23.0.0-r2 2024-10-08 17:52 CEST 1613 B libadalang-tools-24.0.0-r1 2024-10-08 17:52 CEST 2151 B libgpr-23.0.0 2024-10-08 17:52 CEST 1167 B libgpr-23.0.0-r1 2024-10-08 17:52 CEST 1187 B libgpr-24.0.0 2024-11-22 15:13 CET 1186 B markdown-23.0.0-r2 2024-10-08 17:52 CEST 1360 B markdown-24.0.0 2024-10-08 17:52 CEST 1374 B spawn-23.0.0-r3 2024-10-08 17:52 CEST 1541 B spawn-24.0.0 2024-10-08 17:52 CEST 1541 B templates-parser-23.0.0-r1 2024-10-08 17:52 CEST 1395 B templates-parser-23.0.0-r2 2024-10-08 17:52 CEST 1505 B templates-parser-24.0.0 2024-10-08 17:52 CEST 1505 B xmlada-23.0.0-r1 2024-10-08 17:52 CEST 1036 B xmlada-23.0.0-r3 2024-10-08 17:52 CEST 1254 B xmlada-24.0.0-r3 2024-10-08 17:52 CEST 1376 B