The final release of version 8.10.0 of Coq is in sight.
Many fixes and improvements have been integrated since the beginning of the second β. In particular, the soundness issue with template polymorphism has been fixed. More details are given in the user manual: https://coq.github.io/doc/v8.10/refman/changes.html#changes-in-8-10-beta3
Let’s have a final phase of β! Pre-built binaries can be found on the corresponding web page: https://github.com/coq/coq/releases/tag/V8.10%2Bbeta3
Bug reports are welcome as always. Thanks.