Skip to content

3.8.1
Compare
Choose a tag to compare
@emillon emillon released this 05 Jun 16:38
· 2589 commits to main since this release
3.8.1
a340b80
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

CHANGES:

  • 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)

Contributors

emillon and Alizter
Assets 3
Loading