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 https://github.com/math-comp/hierarchy-builder/commit/379dc28870bb2ac8e8a400bbd7e3d32975fd0d0b (we did not release a patched version yet)

view this post on Zulip Julien Puydt (May 23 2022 at 14:22):

Ah, excellent -- uploaded to Debian! Thanks!

view this post on Zulip Notification Bot (May 23 2022 at 14:22):

Julien Puydt has marked this topic as resolved.


Last updated: Apr 21 2024 at 01:02 UTC