César Sagaert ce3ac33e21 build fixes for AdaCore libraries (#1747)

2026-01-07 10:22:02 +01:00

..

pragmarc

pragmarc 20240810.0.0 (#1206)

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

press_utils

adacl 6.2.1 (#1536)

2025-07-14 15:54:00 +02:00

prettier_ada

build fixes for AdaCore libraries (#1747)

2026-01-07 10:22:02 +01:00

printer_toolkit

Add Printer Toolkit 0.3.0 with image support (#1634)

2025-10-21 14:41:48 +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

Set up index v1.4 with alr v2.1 (#1404)

2025-03-06 22:39:29 +01:00

protobuf

Convert licenses to SPDX expressions (#226)

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