Skip to content

Releases: coq/coq

Coq 8.19.1

04 Mar 13:01
@SkySkimmer SkySkimmer
V8.19.1
This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Learn about vigilant mode.
8152d12
Compare
Choose a tag to compare
Coq 8.19.1 Latest
Latest

See the changelog for an overview of the new features and changes.

Assets 4

Coq 8.19.0

24 Jan 12:49
@SkySkimmer SkySkimmer
V8.19.0
This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Learn about vigilant mode.
a360913
Compare
Choose a tag to compare
Coq 8.19.0

See the changelog for an overview of the new features and changes.

Assets 4

Coq 8.19+rc1

18 Dec 16:31
@SkySkimmer SkySkimmer
V8.19+rc1
This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Learn about vigilant mode.
dba73c0
Compare
Choose a tag to compare
Coq 8.19+rc1 Pre-release
Pre-release

See the changelog for an overview of the new features and changes.

Assets 4

Coq 8.18.0

08 Sep 10:32
@gares gares
V8.18.0
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
f022d5d
This commit was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.18.0

See the changelog for an overview of the new features and changes.

Assets 4

Coq 8.18+rc1

03 Aug 11:52
@gares gares
V8.18+rc1
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
94523ee
This commit was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.18+rc1 Pre-release
Pre-release

See the changelog for an overview of the new features and changes.

Assets 4

Coq 8.17.1

27 Jun 09:17
@Zimmi48 Zimmi48
V8.17.1
This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
18722d2
This commit was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.17.1

See the changelog for an overview of the new features and changes.

Assets 3

Coq 8.17.0

27 Mar 06:40
@Zimmi48 Zimmi48
V8.17.0
This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
99f5ecc
This commit was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.17.0

See the changelog for an overview of the new features and changes.

Assets 3

Coq 8.17+rc1

16 Jan 15:41
@Zimmi48 Zimmi48
V8.17+rc1
This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
ed34dc2
This commit was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.17+rc1 Pre-release
Pre-release

See the changelog for an overview of the new features and changes.

Assets 3

Coq 8.16.1

25 Nov 14:47
@ppedrot ppedrot
V8.16.1
This tag was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Learn about vigilant mode.
b35c06c
Compare
Choose a tag to compare
Coq 8.16.1

See the changelog for an overview of the new features and changes.

Assets 3

Coq 8.16.0

05 Sep 11:57
@ppedrot ppedrot
V8.16.0
This tag was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Learn about vigilant mode.
146ae2f
Compare
Choose a tag to compare
Coq 8.16.0

See the changelog for an overview of the new features and changes.

Assets 3