CHANGES:

• Correctly set MANPATH in dune exec. Previously, we would use the bin/ directory of the context. (#7655, @rgrinberg)

• Allow overriding the ocaml binary with findlib configuration (#7648, @rgrinberg)

• Modules that were declared in (modules_without_implementation), (private_modules) or (virtual_modules) but not declared in (modules) will cause Dune to emit a warning which will become an error in 3.9. (#7608, fixes #7026, @Alizter)

• Dune can now detect Coq theories from outside the workspace. This allows for composition with installed theories (not necessarily installed with Dune). (#7047, @Alizter, @ejgallego)

• Fix regression where Merlin was unable to handle filenames with uppercase letters under Windows. (#7577, @nojb)

• On nix+macos, pass -f to the codesign hook to avoid errors when the binary is already signed (#7183, fixes #6265, @greedy)

• Fix bug where RPC clients built with dune-rpc-lwt would crash when closing their connection to the server (#7581, @gridbugs)

• Introduce mdx stanza 0.4 requiring mdx >= 2.3.0 which updates the default list of files to include *.mld files (#7582, @Leonidas-from-XIV)

• Fix RPC server on Windows (used for OCaml-LSP). (#7666, @nojb)

• In (executable), (public_name -) is now equivalent to no (public_name). This is consistent with how (executables) handles this field. (#7576 , fixes #5852, @emillon)

• Change directory of odoc assets to odoc.support (was _odoc_support) so that it works with Github Pages out of the box. (#7588, fixes #7364, @emillon)