Skip to content

8.18.0+0.18.0
Compare
Choose a tag to compare
@ejgallego ejgallego released this 14 Sep 17:43
· 139 commits to main since this release
8.18.0+0.18.0
110b18d
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:

  • [serapi] (!) support for Coq 8.18, thanks to all the developers
    that contributed compatibility patches (@ejgallego and
    many others).
  • [serlib] Fix ltac2 plugin wrong piercing due to missing constructor
    (@ejgallego, reported by @quarkcool, #349).

Contributors

quarkcool and ejgallego
Assets 3
Loading