Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: Rw1nd/coq

Tags

V8.20.0

V8.20+rc1

V8.21+alpha

V8.19.2

Toggle V8.19.2's commit message

Verified

This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Verified
Learn about vigilant mode 
Coq 8.19.2

V8.19.1

Toggle V8.19.1's commit message

Verified

This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Verified
Learn about vigilant mode 
Coq 8.19.1

V8.19.0

Toggle V8.19.0's commit message

Verified

This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Verified
Learn about vigilant mode 
Coq 8.19.0

V8.19+rc1

Toggle V8.19+rc1's commit message

Verified

This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Verified
Learn about vigilant mode 
First release candidate for Coq 8.19.0.

V8.20+alpha

Toggle V8.20+alpha's commit message

Verified

This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Verified
Learn about vigilant mode 
First commit in master and not in v8.19

V8.18.0

Toggle V8.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 
Coq 8.18.0

V8.18+rc1

Toggle V8.18+rc1'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 candidate for Coq 8.18.0.