rocq-elpi, coq-elpi: bound dune < 3.24 on the 16 released versions still using the (using coq) extension - #3819

rocq-elpi, coq-elpi: bound dune < 3.24 on the 16 released versions still using the (using coq) extension#3819

gares merged 1 commit into

rocq-prover:masterrocq-prover/opam:masterfrom

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