Skip to content

8.11.0+0.11.0: Version 0.11.0:
Compare
Choose a tag to compare
@ejgallego ejgallego released this 16 Feb 22:36
· 397 commits to main since this release
8.11.0+0.11.0
This tag was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode.
d91ded4
This commit was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode.

CHANGES:

  • [general] (!) support Coq 8.11, a few datatypes have changed, in
    particular CoqAst handles locations as an AST node, and
    the kernel type includes primitive floats (@ejgallego).
  • [general] (!) Now the sertop and serapi OCaml libraries are
    built packed, we've also bumped their compat version number
    (#192 @ejgallego)
Assets 3
Loading