Maxim Reznik ad964cb014 gnat_native 13.2.2 for macOS X aarch64 (#1013) ...

Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>

2024-04-05 19:07:33 +02:00

..

gnat_arm_elf

Bump version to 1.3 and related fixes

2024-02-29 09:35:55 +01:00

gnat_avr_elf

Bump version to 1.3 and related fixes

2024-02-29 09:35:55 +01:00

gnat_external

gnat/gprbuild external broader regex (#924)

2023-11-27 16:35:10 +01:00

gnat_math_extensions

gnat_math_extensions 1.1.0 (#547)

2022-06-21 17:49:01 +02:00

gnat_native

gnat_native 13.2.2 for macOS X aarch64 (#1013)

2024-04-05 19:07:33 +02:00

gnat_riscv64_elf

Bump version to 1.3 and related fixes

2024-02-29 09:35:55 +01:00

gnatcoll

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_gmp

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_iconv

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_lzma

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_omp

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_postgres

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_python

Convert licenses to SPDX expressions (#226)

2021-01-13 14:12:03 +01:00

gnatcoll_python3

aunit, gnatcoll, lal, xmlada... 23.0.0 (#668)

2022-10-31 10:55:51 +01:00

gnatcoll_readline

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_sql

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_sqlite

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_syslog

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_xref

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcoll_zlib

AdaCore libraries 24.0 (#921)

2023-11-20 18:38:49 +01:00

gnatcov

Bump version to 1.3 and related fixes

2024-02-29 09:35:55 +01:00

gnatdist_garlic

Annex E: garlic and gnatdist (#553)

2022-06-20 10:24:03 +02:00

gnatdoc

gnatdoc 24.0.0 (#971)

2024-01-19 19:01:09 +01:00

gnatprove

Bump version to 1.3 and related fixes

2024-02-29 09:35:55 +01:00

gnoga

gnoga 1.6.2, gnoga 2.1.2 (#607)

2022-08-18 11:02:05 +02:00