Re: CVS commit: pkgsrc/devel/ocaml-dune

Thomas Klausner wrote:
> Module Name:	pkgsrc
> Committed By:	wiz
> Date:		Mon Jul  6 09:26:55 UTC 2026
> 
> Modified Files:
> 	pkgsrc/devel/ocaml-dune: Makefile.common PLIST distinfo
> 
> Log Message:
> ocaml-dune: update to 3.24.0.
> 
> 3.24.0 (2026-06-21)
> -------------------
...
> - Remove the deprecated `(lang coq)` Coq Build Language. Use the
>   Rocq Build Language (`(using rocq <version>)`) instead. Projects that
>   still declare `(using coq <version>)` now get an error pointing them
>   at Rocq. (#14525, fixes #12788, @Alizter)

This may break some packages. Do you plan to update coq (versions 8.xxx)
to rocq (versions 9.xxx)?

--
Alex