M. Anthony Aiello d1fe9756c8 gnatprove 14.1.1 metadata (#1444) ...

Add an author, website, and long description that provides links for getting started with GNATprove

2025-03-20 19:05:53 +01:00

..

gnatprove-11.2.3.toml

Bump version to 1.3 and related fixes

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

gnatprove-12.1.1.toml

Bump version to 1.3 and related fixes

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

gnatprove-13.2.1.toml

Bump version to 1.3 and related fixes

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

gnatprove-14.1.1.toml

gnatprove 14.1.1 metadata (#1444)

2025-03-20 19:05:53 +01:00