Filename Modification time Size AdaSAT-24.0.0 2024-03-15 22:11 CET 795 B Manifest.gz 2024-07-22 17:42 CEST 9475 B VSS-22.0.0-r2 2024-03-13 20:40 CET 1082 B VSS-23.0.0-r2 2024-03-13 20:40 CET 1212 B VSS-24.0.0-r1 2024-03-18 23:10 CET 1238 B ada_language_server-23.0.10-r3 2024-03-13 20:40 CET 2746 B ada_language_server-24.0.1 2024-03-20 20:11 CET 2986 B ada_libfswatch-20201105-r2 2024-03-13 20:40 CET 1152 B aunit-23.0.0-r1 2024-03-13 20:40 CET 961 B aunit-24.0.0-r3 2024-03-13 20:40 CET 1038 B aws-22.0.0 2024-03-13 20:40 CET 1022 B aws-23.0.0-r4 2024-03-13 20:40 CET 2255 B aws-24.0.0 2024-03-21 21:40 CET 2255 B e3-core-22.2.0 2024-07-22 17:42 CEST 3968 B e3-core-22.4.0 2024-07-22 17:42 CEST 5084 B e3-testsuite-25.0 2024-07-22 17:42 CEST 1740 B e3-testsuite-26.0 2024-07-22 17:42 CEST 2077 B gnatcoll-bindings-23.0.0-r2 2024-05-20 19:53 CEST 2158 B gnatcoll-bindings-24.0.0 2024-05-20 19:53 CEST 2340 B gnatcoll-core-23.0.0-r1 2024-03-13 20:40 CET 1037 B gnatcoll-core-24.0.0-r2 2024-03-13 20:40 CET 1146 B gnatcoll-db-23.0.0-r1 2024-05-20 19:53 CEST 2479 B gnatcoll-db-24.0.0-r1 2024-05-20 19:53 CEST 2660 B gnatdoc-23.0.0-r2 2024-03-13 20:40 CET 3082 B gnatdoc-24.0.0 2024-03-19 10:40 CET 3138 B gnatmem-2021-r2 2024-07-12 10:12 CEST 1570 B gnatsymbolize-2021-r2 2024-03-21 21:40 CET 929 B gpr-23.0.0-r6 2024-05-20 19:53 CEST 2323 B gpr-24.0.0 2024-03-17 20:11 CET 1887 B gpr-unit-provider-23.0.0-r4 2024-03-13 20:40 CET 1472 B gprbuild-23.0.0-r1 2024-03-13 20:40 CET 1035 B gprbuild-23.0.0-r2 2024-03-13 20:40 CET 1145 B gprbuild-24.0.0-r1 2024-03-13 20:40 CET 1184 B gprconfig_kb-23.0.0-r3 2024-03-13 20:40 CET 494 B gprconfig_kb-23.0.0-r4 2024-03-13 20:40 CET 514 B gprconfig_kb-24.0.0 2024-03-13 20:40 CET 514 B gtkada-23.0.0-r2 2024-07-12 10:12 CEST 1805 B gtkada-24.0.0 2024-07-12 10:12 CEST 1807 B lal-refactor-0_p20231027 2024-03-20 20:11 CET 944 B langkit-23.0.0-r3 2024-07-22 17:42 CEST 3805 B langkit-24.0.0 2024-07-22 17:42 CEST 4742 B libadalang-23.0.0-r3 2024-05-20 19:53 CEST 2715 B libadalang-24.0.0-r1 2024-05-20 19:53 CEST 3314 B libadalang-tools-23.0.0-r2 2024-03-13 20:40 CET 1401 B libadalang-tools-24.0.0-r1 2024-03-20 20:11 CET 1807 B libgpr-23.0.0 2024-03-13 20:40 CET 999 B libgpr-23.0.0-r1 2024-03-13 20:40 CET 1019 B libgpr-24.0.0 2024-03-13 20:40 CET 1019 B markdown-23.0.0-r2 2024-03-13 20:40 CET 1148 B markdown-24.0.0 2024-03-18 19:10 CET 1162 B spawn-23.0.0-r3 2024-03-13 20:40 CET 1373 B spawn-24.0.0 2024-03-18 19:10 CET 1373 B templates-parser-23.0.0-r1 2024-03-13 20:40 CET 1227 B templates-parser-23.0.0-r2 2024-03-13 20:40 CET 1337 B templates-parser-24.0.0 2024-03-18 11:10 CET 1337 B xmlada-23.0.0-r1 2024-03-13 20:40 CET 956 B xmlada-23.0.0-r2 2024-03-13 20:40 CET 1066 B xmlada-24.0.0-r2 2024-03-13 20:40 CET 1188 B