Bound dune < 3.24 on extra-dev packages still using the coq extension - #3802

Bound dune < 3.24 on extra-dev packages still using the coq extension#3802

JasonGross merged 1 commit into

rocq-prover:masterrocq-prover/opam:masterfrom

JasonGross:dune-324-boundsJasonGross/opam-coq-archive:dune-324-boundsCopy head branch name to clipboard