Accept dev versions of coq, coq-compcert and coq-flocq in coq-vst.opam#860

Closed

JasonGross wants to merge 3 commits into

PrincetonUniversity:masterfrom

JasonGross:master+rocq-dev

Commits on Jul 15, 2026

Accept dev versions of coq, coq-compcert and coq-flocq in coq-vst.opam

JasonGross
and
claude
committed
Make .depend generation atomic and fail on coqdep errors

JasonGross
and
claude
committed
Raise the file descriptor soft limit when running coqdep

JasonGross
and
claude
committed