Skip to content

extra-dev: dev recipes for 13 packages whose release cap is stale - #3810

Open
JasonGross wants to merge 7 commits into
rocq-prover:masterfrom
JasonGross:dev-stale-recipes
Open

extra-dev: dev recipes for 13 packages whose release cap is stale#3810
JasonGross wants to merge 7 commits into
rocq-prover:masterfrom
JasonGross:dev-stale-recipes

coq-waterproof.dev: track upstream's coq-master, not the 9.0 release …

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

Annotations

1 warning and 1 notice
build
succeeded Aug 11, 2026 in 1m 25s