Jesper Quorning 610a0bfdce prolog 1.0.0 (#1398) ...

* prolog 1.0.0 (via `alr publish`)

* Update prolog-1.0.0.toml

2025-03-06 11:52:25 +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

prolog

prolog 1.0.0 (#1398)

2025-03-06 11:52:25 +01:00

protobuf

Convert licenses to SPDX expressions (#226)

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