Hello everyone,
We are happy to announce that Rocq 9.2.0 has been released and packages for opam and nix are available.
See the changelog Recent changes — The Rocq Prover 9.2.0 documentation for more information.
— Nicolas for the Rocq Development Team.