iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://github.com/coq/coq/releases
Releases · coq/coq · GitHub
Skip to content

Releases: coq/coq

Coq 8.20.0

04 Sep 11:32
@proux01 proux01
V8.20.0
e802567
Compare
Choose a tag to compare
Coq 8.20.0 Latest
Latest

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

Assets 4
Loading

Coq 8.20+rc1

27 Jun 12:56
@silene silene
V8.20+rc1
9d19b4e
Compare
Choose a tag to compare
Coq 8.20+rc1

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

Assets 4
Loading

Coq 8.19.2

10 Jun 11:30
@SkySkimmer SkySkimmer
V8.19.2
This tag was signed with the committer’s verified signature.
SkySkimmer Gaëtan Gilbert
GPG key ID: 8585BE5E6C57C806
Learn about vigilant mode.
d739f8d
Compare
Choose a tag to compare
Coq 8.19.2

See the changelog (or changelog section in the attached manual) for an overview of the new bug fixes and changes.

Assets 4
Loading

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

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

Assets 4
Loading

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
Loading

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
Loading

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
Loading

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
Loading

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
Loading

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
Loading