Skip to content

Elpi 1.3.1

Choose a tag to compare

View all tags
@gares gares released this 05 Jun 16:37
· 1498 commits to master since this release
v1.3.1
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
03a5993

Makefile fixup for the opam archive

Assets 2
Loading