César Sagaert 9ecbbfb0f9 sparklib 15.1.0 (#1779)

2026-01-21 12:13:10 +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

gnatprove-15.1.0.toml

sparklib 15.1.0 (#1779)

2026-01-21 12:13:10 +01:00