Dear Coq developers and maintainers of Coq packages,
The tag for the Coq 8.17.0 release has been set. It is now time to prepare updates to Coq packages.
Thanks!
Théo Zimmermann, release manager for the 8.17 release
1 Like