[ANN] Dune 2.3.0

Dear users & developers of Coq, dune 2.3.0 is out and includes some relevant features to you all. I encourage you all to download and test it. I also welcome you all to report bugs and offer suggestions on how to improve dune in building coq projects.

Cheers.

5 Likes