Skip to content

Coq-Elpi 2.0.1 for Coq 8.19
Compare
Choose a tag to compare
@github-actions github-actions released this 29 Dec 14:51
· 811 commits to master since this release
v2.0.1
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
6d94efa
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.

What's Changed

Support for Coq 8.19

New Contributors

Full Changelog: v2.0.0...v2.0.1

Contributors

rlepigre
Assets 3
Loading