math-comp/hierarchy-builder v1.9.0

Hierarchy Builder v1.9.0

on GitHub

What's Changed

• Update release script by @proux01 in #506
• [CI] Add Coq 9.0+rc1 by @proux01 in #507
• [CI] Readd coqeal by @proux01 in #508
• [CI] Update Nix toolbox by @proux01 in #509
• Update README.md by @CohenCyril in #511
• Compile without Stdlib by @proux01 in #514
• [CI] Update Nix toolbox by @proux01 in #516
• [CI] Update Nix toolbox by @proux01 in #518
• Backport package from opam repo by @proux01 in #519
• Do not add a mixin-src when there is already one declared by @Tragicus in #522
• Prepare changelog for 1.9.0 by @proux01 in #525
• [CI] Update Docker by @proux01 in #526

New Contributors

• @Tragicus made their first contribution in #522

Full Changelog: v1.8.1...v1.9.0