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	0	385	November 25, 2022
Coq 8.16+rc1 has been tagged Developing the Rocq Prover	0	474	June 1, 2022
The V8.12.1 tag has been put Developing the Rocq Prover	1	652	November 13, 2020
Coq 8.17.0 tag has been set Developing the Rocq Prover	0	323	March 27, 2023
Coq 8.15.2 tagged Developing the Rocq Prover	0	419	May 31, 2022