8.15.1 tagged

Developing the Coq system

SkySkimmer March 22, 2022, 4:27pm 1

The tag for 8.15.1 has been set.

1 Like

Topic		Replies	Views	Activity
Coq 8.15.2 tagged Developing the Coq system	0	357	May 31, 2022
Coq 8.16.1 has been tagged Developing the Coq system	0	310	November 25, 2022
Coq 8.16.0 has been tagged Developing the Coq system	0	346	September 5, 2022
Coq 8.17.0 tag has been set Developing the Coq system	0	244	March 27, 2023
Coq 8.19.0 tagged Developing the Coq system	0	94	January 24, 2024