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

Tags: coqsucker/coqLANG

Tags

V8.17+rc1

Toggle V8.17+rc1's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
First release candidate for Coq 8.17.0.

V8.16.1

Toggle V8.16.1's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Verified
Learn about vigilant mode 
Release 8.16.1.

V8.18+alpha

Toggle V8.18+alpha's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
First commit in master and not in v8.17.

V8.16.0

Toggle V8.16.0's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Verified
Learn about vigilant mode 
Release 8.16.0.

V8.16+rc1

Toggle V8.16+rc1's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Verified
Learn about vigilant mode 
tag V8.16+rc1

V8.15.2

Toggle V8.15.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 
The Coq proof assistant, version 8.15.2

V8.17+alpha

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Verified
Learn about vigilant mode

V8.15.1

Toggle V8.15.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 
The Coq proof assistant, version 8.15.1

V8.15.0

Toggle V8.15.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 
The Coq proof assistant, version 8.15.0

V8.15+rc1

Toggle V8.15+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 
8.15 release candidate 1
0