Stream: Hierarchy Builder devs & users

Topic: ✔ With coq-elpi 1.14.0


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: Jan 29 2023 at 16:02 UTC