César Sagaert cee8642ff4 gnatprove fsf build for 15.1.0 (#1493) ...

* gnatprove fsf build for 15.1.0

* add myself to maintainers list

2025-05-21 11:26:21 +02:00

..

gnat_arm_elf

GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440)

2025-03-18 21:02:01 +01:00

gnat_avr_elf

GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440)

2025-03-18 21:02:01 +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.2.0 (via alr publish --submit) (#1306)

2024-12-09 15:29:22 +01:00

gnat_native

GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440)

2025-03-18 21:02:01 +01:00

gnat_riscv64_elf

GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440)

2025-03-18 21:02:01 +01:00

gnat_xtensa_esp32_elf

GNAT 14, gprbuild 24.0.1 for aarch64 linux (#1440)

2025-03-18 21:02:01 +01:00

gnatcoll

gnatcoll, libgpr, xmlada 25.0.0 (#1273)

2024-10-28 14:55:21 +01:00

gnatcoll_gmp

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_iconv

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_lzma

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_omp

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_postgres

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +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

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_sql

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_sqlite

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_syslog

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_xref

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +01:00

gnatcoll_zlib

gnatcoll bindings and DB 25.0.0 (#1279)

2024-10-28 17:52:37 +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 25.2 (#1390)

2025-02-19 12:36:45 +01:00

gnatformat

gnatformat, lal_refactor 25.0.0 (#1284)

2024-11-13 10:40:03 +01:00

gnatprove

gnatprove fsf build for 15.1.0 (#1493)

2025-05-21 11:26:21 +02:00

gnoga

gnoga metadata: removed conflicting project variable settings (#1082)

2024-05-31 11:57:30 +02:00