math-comp/hierarchy-builder v1.9.1

Hierarchy Builder refs/tags/v1.9.1

on GitHub

What's Changed

• Update AUTHORS.md by @CohenCyril in #532
• remove dead-code by @FissoreD in #533
• Modify sed command in the makefile by @KimayaBedarkar in #531
• make: patch all files and only once by @gares in #528
• changed dependency, from coq-elpi to rocq-elpi by @hoheinzollern in #530

New Contributors

• @KimayaBedarkar made their first contribution in #531
• @hoheinzollern made their first contribution in #530

Full Changelog: v1.9.0...v1.9.1