[ANN] dune 3.8.0

3.8.2 is now available, please find the changelog below (with that of 3.8.1).

3.8.2 (2023-06-16)

  • Switch back to threaded console for all systems; fix unresponsive console on
    Windows (#7906, @nojb)

  • Respect -p / --only-packages for melange.emit artifacts (#7849,
    @anmonteiro)

  • Fix scanning of Coq installed files (@ejgallego, reported by
    @palmskog, #7895 , fixes #7893)

  • Fix RPC buffer corruption issues due to multi threading. This issue was only
    reproducible with large RPC payloads (#7418)

  • Fix printing errors from excerpts whenever character offsets span multiple
    lines (#7950, fixes #7905, @rgrinberg)

3.8.1 (2023-06-05)

  • Fix a crash when using a version of Coq < 8.13 due to the native compiler
    config variable being missing. We now explicitly default to (mode vo) for
    these older versions of Coq. (#7847, fixes #7846, @Alizter)

  • Duplicate installed Coq theories are now allowed with the first appearing in
    COQPATH being preferred. This is inline with Coq’s loadpath semantics. This
    fixes an issue with install layouts based on COQPATH such as those found in
    nixpkgs. (#7790, @Alizter)

  • Revert #7415 and #7450 (Resolve ppx_runtime_libraries in the target context
    when cross compiling) (#7887, fixes #7875, @emillon)

4 Likes