Hi folks,

this issue is a reminder to remove (lang coq) from dune once Dune 3.23 is released.

(lang coq) has been replaced by (lang rocq), which is expected to reach stability very soon. Existing users of the experimental (lang coq) build language are expected to upgrade to Rocq, and add upper bounds to dune for packages that would need to work in older dune versions.

cc: #12035 #11572 #6445 #9348