Skip to content

New package: gprbuild-25.0.0#59463

Open
ZenitDS wants to merge 1 commit intovoid-linux:masterfrom
ZenitDS:port-gprbuild
Open

New package: gprbuild-25.0.0#59463
ZenitDS wants to merge 1 commit intovoid-linux:masterfrom
ZenitDS:port-gprbuild

Commits

Commits on Mar 19, 2026