math-comp/hierarchy-builder v1.10.0

Hierarchy Builder 1.10.0

on GitHub

What's Changed

• Fix makefile by @proux01 in #536
• Refix Makefile by @proux01 in #537
• Drop support for 8.18 and 8.19 by @proux01 in #538
• Cleanup Makefile by @proux01 in #542
• [CI] Add Rocq 9.1 by @proux01 in #546
• port to elpi 3.0 by @gares in #527
• Release by @gares in #550

Full Changelog: v1.9.1...v1.10.0