Bound dune < 3.24 for rocq-elpi.dev and rocq-micromega-plugin.dev - #3806

Bound dune < 3.24 for rocq-elpi.dev and rocq-micromega-plugin.dev#3806

JasonGross merged 1 commit into

rocq-prover:masterrocq-prover/opam:masterfrom

JasonGross:dune-324-elpi-micromegaJasonGross/opam-coq-archive:dune-324-elpi-micromegaCopy head branch name to clipboard