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	368	May 31, 2022
8.15.1 tagged Developing the Coq system	513	March 22, 2022
Coq 8.17.0 tag has been set Developing the Coq system	258	March 27, 2023
Coq 8.16.0 has been tagged Developing the Coq system	362	September 5, 2022
Coq 8.16.1 has been tagged Developing the Coq system	324	November 25, 2022