Skip to content

Buchberger 8.17 maintenance release

Compare
Choose a tag to compare
@palmskog palmskog released this 06 Oct 20:34
· 6 commits to master since this release
v8.17.0
85cbf60
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.17 and 8.18, with the following changes:

Changed

  • Restrict to Coq 8.17 and later

Fixed

  • Deprecation warnings for lists in Coq 8.18
Assets 2
Loading