8000 Tags · meta-introspector/coq-elpi · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: meta-introspector/coq-elpi

Tags

v1.19.3

Toggle v1.19.3's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
1.19.3

v1.19.1

Toggle v1.19.1's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
minor

v1.19.0

Toggle v1.19.0's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
first release for Coq 8.18

v1.18.0

Toggle v1.18.0's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
new major release

v1.17.1

Toggle v1.17.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update Changelog.md

v1.17.0

Toggle v1.17.0's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
compatibility with 8.17

v1.16.0

Toggle v1.16.0's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
major

v1.15.6

Toggle v1.15.6's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update Changelog.md

v1.15.5

Toggle v1.15.5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request LPCIC#381 from LPCIC/fix-loc2

fix location printing for string parsing

v1.15.4

Toggle v1.15.4's commit message 
close changelog
0