Coq 8.11.2 is now officially released! As usual, you’ll find it on
or in your favourite packaging infrastructure.
Coq 8.11.2 brings in a handful of minor bugfixes, see the changelog at
https://coq.github.io/doc/V8.11.2/refman/changes.html#changes-in-8-11-2