This release is compatible with Coq 8.20 and Rocq 9.0 and 9.1.

The main changes are:

• multiple refinements of the algebraic hierarchies (this may lead to a few small breakages, in which case we recommend using Rocq 9.1 that should minimize such breakages in the future)
• package mathcomp-ssreflect got split into mathcomp-boot and mathcomp-order, if you weren't using the order.v file, replacing your mathcomp-ssreflect dependency by mathcomp-boot may save you some compilation time

See the CHANGELOG.md file for more details.