math-comp/hierarchy-builder v1.10.1
Hierarchy Builder 1.10.1

on GitHub

one day ago

What's Changed

Fix OPAM file by @proux01 in #553
[CI] Update Nix toolbox by @proux01 in #554
Fix HB.about by @proux01 in #551
release by @gares in #557

Full Changelog: v1.10.0...v1.10.1

Check out latest releases or
releases around math-comp/hierarchy-builder v1.10.1

Don't miss a new hierarchy-builder release

NewReleases is sending notifications on new releases.

Get notifications