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
formelange.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)