Skip to content

Compatibility release for Coq 8.19

Latest
Compare
Choose a tag to compare
@palmskog palmskog released this 23 Apr 14:20
· 4 commits to master since this release
5e74c29

What's Changed

Full Changelog: 8.18.0...8.19.0