Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
AdaSAT-24.0.0 | 2024-10-08 17:52 | 875 | ||
AdaSAT-24.0.0-r1 | 2024-12-12 20:41 | 914 | ||
AdaSAT-24.0.0-r2 | 2024-12-17 23:53 | 1.3K | ||
Manifest.gz | 2024-12-17 23:53 | 9.1K | ||
VSS-22.0.0 | 2023-03-17 23:18 | 1.0K | ||
VSS-22.0.0-r1 | 2023-03-20 22:10 | 1.1K | ||
VSS-22.0.0-r2 | 2024-10-08 17:52 | 1.1K | ||
VSS-23.0.0 | 2023-03-17 23:18 | 1.1K | ||
VSS-23.0.0-r1 | 2023-03-20 22:10 | 1.2K | ||
VSS-23.0.0-r2 | 2024-10-08 17:52 | 1.4K | ||
VSS-24.0.0 | 2024-03-17 20:11 | 1.1K | ||
VSS-24.0.0-r1 | 2024-10-08 17:52 | 1.4K | ||
VSS-24.0.0-r2 | 2024-10-15 20:40 | 1.5K | ||
ada_language_server-..> | 2023-02-02 10:40 | 2.3K | ||
ada_language_server-..> | 2023-01-03 10:22 | 2.3K | ||
ada_language_server-..> | 2023-03-17 23:18 | 2.7K | ||
ada_language_server-..> | 2023-11-13 23:50 | 2.6K | ||
ada_language_server-..> | 2024-12-17 23:53 | 3.4K | ||
ada_language_server-..> | 2024-12-17 23:53 | 3.8K | ||
ada_libfswatch-20201105 | 2023-03-17 23:18 | 1.1K | ||
ada_libfswatch-20201..> | 2023-11-06 07:40 | 1.0K | ||
ada_libfswatch-20201..> | 2024-11-26 20:41 | 1.3K | ||
asis-2016 | 2019-08-28 22:09 | 826 | ||
asis-2016-r1 | 2021-05-30 16:09 | 1.4K | ||
asis-2018 | 2019-08-28 22:09 | 829 | ||
asis-2018-r1 | 2019-05-31 14:39 | 1.0K | ||
asis-2019 | 2019-10-21 09:09 | 1.0K | ||
asis-2019-r1 | 2021-09-20 08:39 | 1.0K | ||
aunit-22.0.0 | 2023-03-17 23:18 | 885 | ||
aunit-23.0.0 | 2023-03-17 23:18 | 887 | ||
aunit-23.0.0-r1 | 2024-10-08 17:52 | 1.0K | ||
aunit-24.0.0 | 2024-01-01 23:40 | 963 | ||
aunit-24.0.0-r1 | 2024-03-01 23:10 | 1.0K | ||
aunit-24.0.0-r3 | 2024-12-14 16:12 | 1.1K | ||
aunit-2018 | 2019-08-28 22:09 | 755 | ||
aunit-2019 | 2019-10-18 19:09 | 901 | ||
aunit-2019-r1 | 2021-05-30 16:09 | 1.2K | ||
aunit-2020 | 2021-09-20 08:39 | 798 | ||
aunit-2020-r1 | 2021-06-01 18:39 | 1.5K | ||
aunit-2021 | 2022-12-27 17:48 | 786 | ||
aws-22.0.0 | 2024-10-08 17:52 | 1.2K | ||
aws-23.0.0 | 2023-03-17 23:18 | 2.2K | ||
aws-23.0.0-r1 | 2023-03-26 14:22 | 1.9K | ||
aws-23.0.0-r2 | 2023-11-06 07:40 | 2.1K | ||
aws-23.0.0-r3 | 2023-12-22 14:41 | 2.2K | ||
aws-23.0.0-r4 | 2024-10-08 17:52 | 2.8K | ||
aws-24.0.0 | 2024-10-08 17:52 | 2.8K | ||
aws-24.0.0-r1 | 2024-12-15 05:41 | 3.0K | ||
aws-2017 | 2019-08-29 08:39 | 704 | ||
aws-2018 | 2019-08-29 08:39 | 717 | ||
aws-2018-r1 | 2019-10-21 09:09 | 887 | ||
aws-2018-r2 | 2021-06-21 08:25 | 1.2K | ||
aws-2019 | 2019-10-21 09:09 | 584 | ||
aws-2019-r1 | 2021-06-21 08:25 | 1.2K | ||
aws-2020 | 2021-09-20 08:39 | 919 | ||
aws-2020-r1 | 2021-09-20 08:39 | 970 | ||
aws-2021 | 2022-12-27 17:48 | 855 | ||
e3-core-22.1.0 | 2022-10-10 23:22 | 4.9K | ||
e3-core-22.1.0-r1 | 2023-01-30 19:23 | 2.8K | ||
e3-core-22.2.0 | 2024-12-17 23:53 | 3.9K | ||
e3-core-22.4.0 | 2024-12-17 23:53 | 5.0K | ||
e3-testsuite-24.0 | 2023-01-30 19:23 | 1.4K | ||
e3-testsuite-25.0 | 2024-12-17 23:53 | 1.7K | ||
e3-testsuite-26.0 | 2024-12-17 23:53 | 2.0K | ||
gnat-suite-bin-2014 | 2020-02-22 22:40 | 465 | ||
gnat-suite-bin-2016 | 2020-02-22 22:40 | 343 | ||
gnat-suite-bin-2016-r1 | 2021-04-10 16:09 | 381 | ||
gnat-suite-bin-2017 | 2020-02-22 22:40 | 343 | ||
gnat-suite-bin-2017-r1 | 2021-04-10 16:09 | 381 | ||
gnat-suite-bin-2018 | 2020-02-22 22:40 | 307 | ||
gnat-suite-bin-2018-r1 | 2021-04-10 16:09 | 345 | ||
gnat-suite-bin-2019 | 2020-02-22 22:40 | 308 | ||
gnat-suite-bin-2019-r1 | 2021-04-10 16:09 | 346 | ||
gnat_util-2017 | 2019-07-18 18:03 | 788 | ||
gnat_util-2017-r1 | 2019-11-07 00:30 | 794 | ||
gnat_util-2017-r2 | 2021-09-15 19:39 | 869 | ||
gnat_util-2018 | 2019-11-07 00:30 | 683 | ||
gnat_util-2018-r1 | 2019-11-07 00:30 | 794 | ||
gnat_util-2018-r2 | 2021-09-15 19:39 | 1.0K | ||
gnat_util-2019 | 2019-11-07 00:30 | 652 | ||
gnat_util-2019-r1 | 2021-09-20 08:39 | 784 | ||
gnatcoll-2017 | 2019-11-25 13:46 | 3.5K | ||
gnatcoll-2017-r1 | 2019-11-25 13:46 | 4.1K | ||
gnatcoll-bindings-22..> | 2021-11-25 09:09 | 2.1K | ||
gnatcoll-bindings-22..> | 2023-02-02 10:40 | 2.1K | ||
gnatcoll-bindings-23..> | 2023-02-19 20:52 | 2.1K | ||
gnatcoll-bindings-23..> | 2023-11-19 17:13 | 2.0K | ||
gnatcoll-bindings-23..> | 2024-12-17 23:53 | 2.3K | ||
gnatcoll-bindings-24..> | 2024-10-14 15:44 | 2.4K | ||
gnatcoll-bindings-24..> | 2024-12-17 23:53 | 2.6K | ||
gnatcoll-bindings-2018 | 2019-07-18 18:03 | 1.8K | ||
gnatcoll-bindings-20..> | 2019-09-13 21:31 | 1.9K | ||
gnatcoll-bindings-2019 | 2019-10-21 09:09 | 1.9K | ||
gnatcoll-bindings-20..> | 2020-11-25 19:24 | 2.0K | ||
gnatcoll-bindings-20..> | 2021-05-12 21:09 | 1.7K | ||
gnatcoll-bindings-2020 | 2020-11-25 19:24 | 2.1K | ||
gnatcoll-bindings-20..> | 2021-09-20 08:39 | 1.1K | ||
gnatcoll-bindings-20..> | 2021-09-20 08:39 | 1.4K | ||
gnatcoll-bindings-2021 | 2023-02-02 10:40 | 1.8K | ||
gnatcoll-core-22.0.0 | 2022-12-27 17:48 | 1.0K | ||
gnatcoll-core-22.0.0-r1 | 2023-02-02 10:40 | 1.0K | ||
gnatcoll-core-23.0.0 | 2023-11-06 07:40 | 1.0K | ||
gnatcoll-core-23.0.0-r1 | 2024-10-08 17:52 | 1.2K | ||
gnatcoll-core-24.0.0 | 2024-03-01 21:10 | 1.1K | ||
gnatcoll-core-24.0.0-r2 | 2024-10-08 17:52 | 1.3K | ||
gnatcoll-core-24.0.0-r3 | 2024-12-14 19:41 | 1.3K | ||
gnatcoll-core-2018 | 2018-11-20 19:09 | 751 | ||
gnatcoll-core-2018-r1 | 2019-08-28 18:39 | 908 | ||
gnatcoll-core-2019 | 2019-10-21 08:39 | 919 | ||
gnatcoll-core-2019-r1 | 2021-05-12 21:09 | 1.2K | ||
gnatcoll-core-2020 | 2021-09-20 08:39 | 1.0K | ||
gnatcoll-core-2020-r1 | 2021-09-20 08:39 | 1.0K | ||
gnatcoll-core-2021 | 2021-06-21 08:25 | 1.2K | ||
gnatcoll-core-2021-r1 | 2022-12-27 17:48 | 1.0K | ||
gnatcoll-db-22.0.0 | 2023-02-02 10:40 | 2.4K | ||
gnatcoll-db-23.0.0 | 2023-12-14 06:45 | 2.3K | ||
gnatcoll-db-23.0.0-r1 | 2024-12-17 23:53 | 2.7K | ||
gnatcoll-db-24.0.0-r1 | 2024-12-17 23:53 | 2.8K | ||
gnatcoll-db-2018 | 2019-07-18 18:03 | 1.7K | ||
gnatcoll-db-2018-r1 | 2019-09-13 21:31 | 2.6K | ||
gnatcoll-db-2019 | 2021-01-23 10:24 | 2.7K | ||
gnatdoc-23.0.0 | 2023-03-17 23:18 | 3.0K | ||
gnatdoc-23.0.0-r1 | 2023-11-06 07:40 | 2.9K | ||
gnatdoc-23.0.0-r2 | 2024-10-08 17:52 | 3.9K | ||
gnatdoc-24.0.0 | 2024-10-08 17:52 | 4.0K | ||
gnatmem-2018 | 2019-07-18 18:03 | 930 | ||
gnatmem-2019 | 2019-09-13 21:31 | 1.0K | ||
gnatmem-2019-r1 | 2021-10-01 22:11 | 1.1K | ||
gnatmem-2020 | 2021-10-01 22:11 | 1.4K | ||
gnatmem-2021 | 2022-12-12 21:10 | 1.2K | ||
gnatmem-2021-r1 | 2023-03-17 23:18 | 1.4K | ||
gnatmem-2021-r2 | 2024-12-17 23:53 | 1.6K | ||
gnatsymbolize-2018 | 2019-09-13 21:31 | 793 | ||
gnatsymbolize-2019 | 2019-10-18 19:39 | 932 | ||
gnatsymbolize-2019-r1 | 2021-09-20 08:39 | 619 | ||
gnatsymbolize-2020 | 2021-09-20 08:39 | 941 | ||
gnatsymbolize-2021 | 2022-12-12 21:10 | 692 | ||
gnatsymbolize-2021-r1 | 2023-03-17 23:18 | 849 | ||
gnatsymbolize-2021-r2 | 2024-11-26 20:41 | 965 | ||
gpr-23.0.0 | 2022-12-16 14:10 | 2.5K | ||
gpr-23.0.0-r1 | 2023-03-17 23:18 | 2.5K | ||
gpr-23.0.0-r2 | 2023-05-10 20:19 | 2.1K | ||
gpr-23.0.0-r4 | 2023-05-23 07:40 | 2.1K | ||
gpr-23.0.0-r5 | 2023-11-19 17:13 | 2.2K | ||
gpr-23.0.0-r6 | 2024-12-17 23:53 | 2.6K | ||
gpr-24.0.0 | 2024-10-08 17:52 | 2.2K | ||
gpr-24.0.0-r1 | 2024-12-15 05:41 | 2.3K | ||
gpr-unit-provider-23..> | 2023-03-17 23:18 | 1.3K | ||
gpr-unit-provider-23..> | 2023-03-26 14:22 | 1.1K | ||
gpr-unit-provider-23..> | 2023-04-15 21:40 | 1.2K | ||
gpr-unit-provider-23..> | 2023-11-06 07:40 | 1.3K | ||
gpr-unit-provider-23..> | 2024-10-08 17:52 | 1.7K | ||
gpr-unit-provider-23..> | 2024-10-19 22:11 | 1.8K | ||
gprbuild-22.0.0 | 2021-11-25 09:09 | 790 | ||
gprbuild-22.0.0-r1 | 2022-02-27 11:09 | 938 | ||
gprbuild-22.0.0-r2 | 2022-11-20 13:40 | 1.1K | ||
gprbuild-22.0.0-r3 | 2022-11-27 22:40 | 1.0K | ||
gprbuild-22.0.0-r4 | 2023-01-13 23:40 | 1.0K | ||
gprbuild-23.0.0 | 2023-03-17 23:18 | 1.0K | ||
gprbuild-23.0.0-r1 | 2024-10-08 17:52 | 1.1K | ||
gprbuild-23.0.0-r2 | 2024-09-08 20:51 | 1.1K | ||
gprbuild-23.0.0-r3 | 2024-10-08 17:52 | 1.3K | ||
gprbuild-24.0.0 | 2023-12-31 20:10 | 1.1K | ||
gprbuild-24.0.0-r1 | 2024-09-08 20:51 | 1.2K | ||
gprbuild-24.0.0-r2 | 2024-12-14 15:29 | 1.4K | ||
gprbuild-2017-r1 | 2019-11-07 00:30 | 796 | ||
gprbuild-2017-r2 | 2021-05-30 16:09 | 1.0K | ||
gprbuild-2018-r3 | 2019-07-18 18:03 | 885 | ||
gprbuild-2018-r4 | 2019-07-27 20:39 | 1.0K | ||
gprbuild-2019 | 2019-11-07 00:30 | 906 | ||
gprbuild-2019-r1 | 2021-01-23 10:24 | 1.1K | ||
gprbuild-2020 | 2021-09-20 08:39 | 872 | ||
gprbuild-2020-r1 | 2021-09-20 08:39 | 1.0K | ||
gprbuild-2021-r1 | 2022-11-18 15:10 | 1.0K | ||
gprbuild-2021-r2 | 2022-12-27 17:48 | 884 | ||
gprbuild-2021-r3 | 2022-11-18 15:10 | 1.1K | ||
gprbuild-2021-r4 | 2022-12-27 17:48 | 1.0K | ||
gprconfig_kb-22.0.0 | 2022-11-27 22:40 | 519 | ||
gprconfig_kb-22.0.0-r1 | 2023-01-13 23:40 | 517 | ||
gprconfig_kb-23.0.0 | 2022-12-03 10:10 | 519 | ||
gprconfig_kb-23.0.0-r1 | 2023-03-17 23:18 | 535 | ||
gprconfig_kb-23.0.0-r2 | 2023-03-20 20:40 | 520 | ||
gprconfig_kb-23.0.0-r3 | 2024-10-08 17:52 | 530 | ||
gprconfig_kb-23.0.0-r4 | 2024-03-13 20:40 | 514 | ||
gprconfig_kb-24.0.0 | 2024-03-13 20:40 | 514 | ||
gprconfig_kb-24.0.0-r1 | 2024-11-23 15:13 | 566 | ||
gps-2017 | 2019-09-13 21:31 | 3.3K | ||
gps-2018-r1 | 2019-09-13 21:31 | 3.8K | ||
gps-2018-r2 | 2020-01-25 19:39 | 3.7K | ||
gps-2018-r3 | 2020-04-30 08:15 | 3.1K | ||
gps-2019 | 2020-01-25 19:39 | 3.9K | ||
gps-2019-r1 | 2021-01-23 10:24 | 3.3K | ||
gps-bin-2016 | 2019-11-07 00:30 | 756 | ||
gps-bin-2016-r1 | 2019-11-07 00:30 | 1.1K | ||
gtkada-22.0.0 | 2022-12-12 21:10 | 1.5K | ||
gtkada-22.0.0-r1 | 2023-02-02 10:40 | 1.6K | ||
gtkada-23.0.0 | 2022-12-12 21:10 | 1.5K | ||
gtkada-23.0.0-r1 | 2023-03-17 23:18 | 1.6K | ||
gtkada-23.0.0-r2 | 2024-12-17 23:53 | 1.8K | ||
gtkada-24.0.0 | 2024-12-17 23:53 | 1.8K | ||
gtkada-2017 | 2019-11-09 15:12 | 1.3K | ||
gtkada-2017-r1 | 2021-05-12 21:09 | 1.6K | ||
gtkada-2018 | 2019-07-18 18:03 | 1.4K | ||
gtkada-2018-r1 | 2019-11-09 15:12 | 1.5K | ||
gtkada-2018-r2 | 2021-05-12 21:09 | 1.8K | ||
gtkada-2019 | 2019-11-09 15:12 | 1.5K | ||
gtkada-2019-r1 | 2021-10-01 22:11 | 1.4K | ||
gtkada-2019-r2 | 2021-10-01 22:11 | 1.5K | ||
gtkada-2020 | 2021-10-01 22:11 | 1.7K | ||
gtkada-2021 | 2022-12-12 21:10 | 1.5K | ||
gtkada-2021-r1 | 2023-02-02 10:40 | 1.6K | ||
lal-refactor-0_p2023..> | 2024-11-26 20:41 | 1.0K | ||
langkit-22.0.0 | 2021-12-06 14:09 | 2.5K | ||
langkit-22.0.0-r1 | 2021-12-14 05:24 | 2.5K | ||
langkit-22.0.0-r2 | 2022-09-29 21:10 | 3.6K | ||
langkit-22.0.0-r3 | 2023-03-17 23:18 | 2.4K | ||
langkit-23.0.0 | 2022-12-10 19:40 | 4.1K | ||
langkit-23.0.0-r1 | 2023-12-08 18:14 | 3.4K | ||
langkit-23.0.0-r2 | 2024-02-12 17:44 | 3.5K | ||
langkit-23.0.0-r3 | 2024-12-17 23:53 | 3.8K | ||
langkit-24.0.0 | 2024-12-17 23:53 | 4.8K | ||
langkit-2017 | 2019-09-13 21:31 | 1.5K | ||
langkit-2018 | 2021-01-23 10:24 | 1.2K | ||
langkit-2019 | 2021-01-23 10:24 | 1.2K | ||
langkit-2019-r1 | 2021-01-23 10:24 | 1.2K | ||
libadalang-22.0.0 | 2023-03-17 23:18 | 2.3K | ||
libadalang-23.0.0 | 2023-02-19 20:52 | 2.4K | ||
libadalang-23.0.0-r1 | 2023-03-17 23:18 | 2.8K | ||
libadalang-23.0.0-r2 | 2023-11-19 17:13 | 2.5K | ||
libadalang-23.0.0-r3 | 2024-12-17 23:53 | 2.9K | ||
libadalang-24.0.0-r1 | 2024-12-17 23:53 | 3.6K | ||
libadalang-2017-r1 | 2019-09-13 21:31 | 1.5K | ||
libadalang-2017-r2 | 2019-10-21 09:09 | 2.0K | ||
libadalang-2018 | 2019-09-13 21:31 | 1.7K | ||
libadalang-2018-r1 | 2019-10-21 09:09 | 1.8K | ||
libadalang-2018-r2 | 2021-01-23 10:24 | 1.9K | ||
libadalang-2019 | 2019-10-21 09:09 | 1.7K | ||
libadalang-2019-r1 | 2021-01-23 10:24 | 1.8K | ||
libadalang-tools-22.0.0 | 2021-12-27 22:40 | 787 | ||
libadalang-tools-22...> | 2023-02-02 10:40 | 1.1K | ||
libadalang-tools-23.0.0 | 2023-03-17 23:18 | 1.3K | ||
libadalang-tools-23...> | 2023-11-06 07:40 | 1.3K | ||
libadalang-tools-23...> | 2024-10-08 17:52 | 1.6K | ||
libadalang-tools-24.0.0 | 2024-03-18 11:40 | 1.5K | ||
libadalang-tools-24...> | 2024-10-08 17:52 | 2.1K | ||
libadalang-tools-2018 | 2019-10-21 09:09 | 445 | ||
libadalang-tools-2019 | 2019-10-21 09:09 | 660 | ||
libadalang-tools-201..> | 2020-07-04 09:46 | 1.2K | ||
libgpr-22.0.0 | 2021-12-27 18:11 | 898 | ||
libgpr-22.0.0-r1 | 2023-02-02 10:40 | 1.0K | ||
libgpr-23.0.0 | 2024-11-26 20:41 | 1.1K | ||
libgpr-23.0.0-r1 | 2024-11-26 20:41 | 1.2K | ||
libgpr-24.0.0 | 2024-12-14 13:11 | 1.2K | ||
libgpr-2018 | 2019-07-18 18:03 | 838 | ||
libgpr-2018-r1 | 2019-11-07 00:30 | 926 | ||
libgpr-2019 | 2019-11-07 00:30 | 937 | ||
libgpr-2019-r1 | 2021-05-12 21:09 | 1.3K | ||
libgpr-2020 | 2021-09-20 08:39 | 1.0K | ||
libgpr-2020-r1 | 2021-09-20 08:39 | 1.1K | ||
libgpr-2021 | 2022-12-27 17:48 | 1.0K | ||
libgpr-2021-r1 | 2022-11-18 15:10 | 1.1K | ||
markdown-23.0.0 | 2023-03-20 22:10 | 1.1K | ||
markdown-23.0.0-r1 | 2023-11-06 07:40 | 1.0K | ||
markdown-23.0.0-r2 | 2024-10-08 17:52 | 1.3K | ||
markdown-24.0.0 | 2024-10-08 17:52 | 1.3K | ||
spawn-22.0.0 | 2023-02-02 10:40 | 1.3K | ||
spawn-23.0.0 | 2023-02-02 10:40 | 1.3K | ||
spawn-23.0.0-r1 | 2023-03-17 23:18 | 1.3K | ||
spawn-23.0.0-r2 | 2023-11-06 07:40 | 1.2K | ||
spawn-23.0.0-r3 | 2024-10-08 17:52 | 1.5K | ||
spawn-24.0.0 | 2024-10-08 17:52 | 1.5K | ||
templates-parser-23.0.0 | 2023-03-17 23:18 | 1.2K | ||
templates-parser-23...> | 2024-11-26 20:41 | 1.4K | ||
templates-parser-23...> | 2024-11-26 20:41 | 1.5K | ||
templates-parser-24.0.0 | 2024-12-14 18:11 | 1.5K | ||
xmlada-22.0.0 | 2023-01-14 22:40 | 948 | ||
xmlada-23.0.0 | 2023-03-17 23:18 | 1.0K | ||
xmlada-23.0.0-r1 | 2024-10-08 17:52 | 1.0K | ||
xmlada-23.0.0-r2 | 2024-09-08 20:51 | 1.0K | ||
xmlada-23.0.0-r3 | 2024-10-08 17:52 | 1.2K | ||
xmlada-24.0.0 | 2023-12-31 20:10 | 1.0K | ||
xmlada-24.0.0-r1 | 2024-03-02 00:10 | 1.1K | ||
xmlada-24.0.0-r2 | 2024-09-08 20:51 | 1.2K | ||
xmlada-24.0.0-r3 | 2024-12-14 13:11 | 1.3K | ||
xmlada-2018 | 2018-11-07 21:39 | 865 | ||
xmlada-2018-r1 | 2019-05-30 09:39 | 1.0K | ||
xmlada-2019 | 2019-08-27 11:09 | 1.0K | ||
xmlada-2019-r1 | 2021-05-12 21:09 | 1.3K | ||
xmlada-2020 | 2021-09-20 08:39 | 894 | ||
xmlada-2020-r1 | 2021-05-31 11:39 | 1.6K | ||
xmlada-2021 | 2021-06-21 08:25 | 1.4K | ||
xmlada-2021-r1 | 2022-12-27 17:48 | 882 | ||
xmlada-2021-r2 | 2022-12-27 17:48 | 882 | ||