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	384	November 25, 2022
Coq 8.16+rc1 has been tagged Developing the Rocq Prover	472	June 1, 2022
Coq 8.17.0 tag has been set Developing the Rocq Prover	320	March 27, 2023
Coq 8.15.2 tagged Developing the Rocq Prover	418	May 31, 2022
Coq 8.19.0 tagged Developing the Rocq Prover	164	January 24, 2024