Skip to content
Compare
Choose a tag to compare

Coq 8.11.1

@ppedrot ppedrot released this
· 70 commits to v8.11 since this release
V8.11.1
c48af75
This commit was signed with the committer’s verified signature.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Learn about vigilant mode.
Compare
Choose a tag to compare

The most salient change in the 8.11.1 release is support for OCaml 4.10.0. See the changelog for more details.

Assets

6