Skip to content

Chapar 8.12.0 maintenance release
Compare
Choose a tag to compare
@palmskog palmskog released this 01 Oct 01:09
· 50 commits to master since this release
v8.12.0
dcdfbdd
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.

Maintenance release compatible with Coq 8.10 to 8.12, featuring the following changes:

Changed

  • OCaml OPAM package definition uses Dune
  • Reorganize extraction to support Dune
  • Coq OPAM package definition uses Dune
  • Declare all scopes and consequently require Coq 8.10 or later

Added

  • Support for OCaml builds with Dune
  • Support for Coq builds with Dune

Fixed

  • Remove dependency on a local functional extensionality axiom

Removed

  • All uses of UTF-8
Assets 2
Loading