Fabien Chouteau 7b8cf03a31 libgpr2, prettier_ada, adasat, langkit_support, libadalang 25.0.0 (#1281) ...

* libgpr2, prettier_ada, adasat, langkit_support, and libadalang 25.0.0

* Update libgpr2-25.0.0.toml

2024-10-31 11:02:59 +01:00

..

pragmarc

pragmarc 20240810.0.0 (#1206)

2024-08-24 14:14:47 +02:00

prettier_ada

libgpr2, prettier_ada, adasat, langkit_support, libadalang 25.0.0 (#1281)

2024-10-31 11:02:59 +01:00

printer_toolkit

printer_toolkit 0.2.0 (#1213)

2024-08-26 13:43:33 +02:00

program_proofs_in_spark

program_proofs_in_spark 0.1.1 (#799)

2023-04-28 10:14:30 +02:00

progress_indicators

progress_indicators 0.0.1 (#290)

2021-06-25 10:49:51 +02:00

protobuf

Convert licenses to SPDX expressions (#226)

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