View all changes

Dune 1.11.2

See full changelog

  • Remove the optimisation of passing -nodynlink for executables when not necessary. It seems to be breaking things (see #2527, @diml)

  • Fix invalid library names in dune-package files. Only public names should exist in such files. (#2558, fix #2425, @rgrinberg)