Coq 8.19.0 tagged

Gaetan_Gilbert January 24, 2024, 12:48pm 1

The tag is set to commit a360913fdc531715a33d06c29c4ff9fb8f1c3ac0.

Topic	Replies	Views
Coq 8.15.2 tagged Developing the Coq system	415	May 31, 2022
8.15.1 tagged Developing the Coq system	580	March 22, 2022
Coq 8.17.0 tag has been set Developing the Coq system	316	March 27, 2023
Coq 8.16.0 has been tagged Developing the Coq system	425	September 5, 2022
Coq 8.16.1 has been tagged Developing the Coq system	383	November 25, 2022