math-comp/hierarchy-builder v1.8.1

Hierarchy Builder v1.8.1

on GitHub

What's Changed

• [CI] Update Nix toolbox by @proux01 in #491
• fix mode signature by @FissoreD in #492
• Adapt to coq/coq#20028 by @proux01 in #496
• Feature/breaking add section variable by @gares in #497
• fix old coq by @gares in #498
• [CI] Update Nix toolbox by @proux01 in #500
• [CI] Use new nicer override mechanism for ocamlPackages.elpi by @proux01 in #502
• Adapt to LPCIC/coq-elpi#750 by @proux01 in #503
• Revert "Adapt to LPCIC/coq-elpi#750" by @proux01 in #504
• preparing changelog for 1.8.1 by @proux01 in #505

New Contributors

• @FissoreD made their first contribution in #492

Full Changelog: v1.8.0...v1.8.1