Fabien Chouteau 4ded60916f gnat, gnatprove 12.1.1 (#550) ...

* gnatprove-12.1.1

* Update gnatprove-12.1.1.toml

* Update gnatprove-12.1.1.toml

* GNAT and GNATprove 12.1.1

* Update gnat_riscv64_elf-12.1.1.toml

* Update gnat_native-12.1.1.toml

* GNAT FSF 12.1.2

* Update gnat_native-12.1.2.toml

2022-07-27 11:28:24 +02:00

..

gnat_arm_elf

gnat, gnatprove 12.1.1 (#550)

2022-07-27 11:28:24 +02:00

gnat_avr_elf

gnat, gnatprove 12.1.1 (#550)

2022-07-27 11:28:24 +02:00

gnat_external

Rename GNAT crates (#302)

2021-07-24 09:50:15 +02:00

gnat_math_extensions

gnat_math_extensions 1.1.0 (#547)

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

gnat_native

gnat, gnatprove 12.1.1 (#550)

2022-07-27 11:28:24 +02:00

gnat_riscv64_elf

gnat, gnatprove 12.1.1 (#550)

2022-07-27 11:28:24 +02:00

gnatcoll

gnatcoll 22.0.0: set build mode to PROD (#570)

2022-07-19 10:37:01 +02:00

gnatcoll_gmp

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_iconv

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_lzma

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_omp

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_postgres

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_python

Convert licenses to SPDX expressions (#226)

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

gnatcoll_python3

Convert licenses to SPDX expressions (#226)

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

gnatcoll_readline

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_sql

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_sqlite

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_syslog

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_xref

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcoll_zlib

gnatcoll_{core|db|bindings} 22.0.0 (#392)

2021-11-03 06:57:53 +01:00

gnatcov

gnatcov 22.0.1 (#406)

2021-11-19 12:24:47 +01:00

gnatdist_garlic

Annex E: garlic and gnatdist (#553)

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

gnatprove

gnat, gnatprove 12.1.1 (#550)

2022-07-27 11:28:24 +02:00