Skip to content

extra-dev: add 32 dev recipes and update 11 more, for packages that install successfully - #3809

Merged
JasonGross merged 12 commits into
rocq-prover:masterfrom
JasonGross:dev-packages-batch
Aug 10, 2026
Merged

extra-dev: add 32 dev recipes and update 11 more, for packages that install successfully#3809
JasonGross merged 12 commits into
rocq-prover:masterfrom
JasonGross:dev-packages-batch

extra-dev: move the two pil dev recipes to the needs-ports branch

75f6e10
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Aug 7, 2026 in 1m 19s