Fix install phases for migrated and legacy dev packages - #3793

Merged

JasonGross merged 5 commits into

rocq-prover:masterfrom

theorem-labs:codex/dev-install-phase

Jul 31, 2026

Commits on Jul 31, 2026

Run migrated contrib installs in opam install phase
JasonGross
committed
a4ab9ee
Run dev package installation in opam install phase
JasonGross
committed
3d02691
Run BDDs and SMC installation in opam install phase
JasonGross
committed
d60380d
Fix coq-mathcomp-grobner.dev lint error and restore Makefile generation

JasonGross
and
claude
committed
698e692
Track upstream master in coq-mathcomp-grobner.dev

JasonGross
and
claude
committed
d96f355