[new release] dune (15 packages) (3.12.1)

[emillon]

Fast, portable, and opinionated build system

• Project page: https://github.com/ocaml/dune
• Documentation: https://dune.readthedocs.io/

CHANGES:

• Revert unintended inclusion of chore: add dune lang 3.13 dune#9250 and feature(coq): coqdoc_flags in env stanza dune#9280 (@emillon)

[emillon]

No regressions here, this is good to go in my view.

[mseri]

I agree

[mseri]

Thanks