Skip to content

Chapar 8.16.0 maintenance release
Compare
Choose a tag to compare
@palmskog palmskog released this 01 Oct 09:45
· 6 commits to master since this release
v8.16.0
95e4b27
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.14 to 8.18, with the following changes:

Changed

  • Adjust build for Coq 8.18 and beyond
  • Use Dune wrapping for OCaml modules
  • Remove boilerplate for OCamlbuild
  • Move bash scripts to scripts directory
  • Use standard theories/src directory names

Fixed

  • Stores build with Dune 3.6 or later
  • Nix CI configuration
  • List lemma deprecations in 8.18
Assets 2
Loading