Coq 8.16.1 has been tagged

ppedrot November 25, 2022, 12:18pm 1

The V8.16.1 tag is now public! Package managers should now start work on upgrading their packages.

Topic		Replies	Views
Coq 8.16.0 has been tagged Developing the Coq system	0	425	September 5, 2022
Coq 8.16+rc1 has been tagged Developing the Coq system	0	467	June 1, 2022
The V8.12.1 tag has been put Developing the Coq system	1	636	November 13, 2020
8.15.1 tagged Developing the Coq system	0	580	March 22, 2022
Coq 8.15.2 tagged Developing the Coq system	0	415	May 31, 2022