Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
V8.15.0 tag set
Developing the Coq system
SkySkimmer
January 13, 2022, 4:20pm
1
The tag has been set. Opam packages, docker tags and platform versions will now be prepared.
Related Topics
Topic
Replies
Views
Activity
The V8.12.2 tag has been set
Developing the Coq system
1
511
December 12, 2020
Tag V8.18.0 is set
Developing the Coq system
4
197
October 11, 2023
Coq 8.16.0 has been tagged
Developing the Coq system
0
333
September 5, 2022
8.15.1 tagged
Developing the Coq system
0
494
March 22, 2022
Coq 8.16.1 has been tagged
Developing the Coq system
0
284
November 25, 2022