Skip to content

Coq-Elpi 1.15.4 for Coq 8.16

Compare
Choose a tag to compare
@gares gares released this 26 Jul 08:33
· 1342 commits to master since this release

Minor fixes