Coq 8.16.0 has been tagged

ppedrot September 5, 2022, 11:51am 1

The V8.16.0 tag is now public!

Package managers should now start work on upgrading their packages.

Topic	Replies	Views
Coq 8.16.1 has been tagged Developing the Rocq Prover	389	November 25, 2022
Coq 8.16+rc1 has been tagged Developing the Rocq Prover	480	June 1, 2022
Coq 8.17.0 tag has been set Developing the Rocq Prover	331	March 27, 2023
Coq 8.15.2 tagged Developing the Rocq Prover	427	May 31, 2022
Coq 8.19.0 tagged Developing the Rocq Prover	172	January 24, 2024