Hierarchy Builder 1.10.3

What's Changed

• Adapt to rocq-prover/rocq#21531 (stricter Type in Type) by @yannl35133 in #573
• Adapt to rocq-prover/rocq#21611 by @proux01 in #576
• Update installation instructions for HB by @CohenCyril in #578
• [CI] Add Rocq 9.2 by @proux01 in #582
• Adapt to rocq-prover/rocq#21851 by @proux01 in #588
• logo by Reynald Affeldt by @gares in #591
• [CI] Update Nix toolbox by @proux01 in #592
• release for 9.2 by @gares in #598

New Contributors

• @yannl35133 made their first contribution in #573

Full Changelog: v1.10.2...v1.10.3