Stream: Hierarchy Builder devs & users

Topic: With coq-elpi 1.14.0

view this post on Zulip Julien Puydt (May 23 2022 at 11:31):

I seem to have issues building HB with coq-elpi 1.14.0 : see here. Is it a known issue?

view this post on Zulip Enrico Tassi (May 23 2022 at 13:38):

This is the test suite, see (we did not release a patched version yet)

Last updated: Jan 29 2023 at 16:02 UTC