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	386	November 25, 2022
Coq 8.16+rc1 has been tagged Developing the Rocq Prover	477	June 1, 2022
Coq 8.17.0 tag has been set Developing the Rocq Prover	328	March 27, 2023
Coq 8.15.2 tagged Developing the Rocq Prover	424	May 31, 2022
Coq 8.19.0 tagged Developing the Rocq Prover	168	January 24, 2024