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

Commits on Aug 1, 2026

extra-dev: add 13 recipes whose released version is capped but whose upstream is not

JasonGross
and
claude
committed
9b3a048

Commits on Aug 6, 2026

extra-dev: require a dev prover on the 6 .dev rows this branch adds

JasonGross
and
claude
committed
e64b42b
extra-dev: pin the free mathcomp deps to dev on abel, apery and bits

JasonGross
and
claude
committed
efc9444
extra-dev: require a dev prover on coq-cds4ltl.dev too

JasonGross
and
claude
committed
13b0323
extra-dev: require a dev prover on the last 4 .dev rows this branch adds

JasonGross
and
claude
committed
0d8d6f9

Commits on Aug 11, 2026