Stream: Hierarchy Builder devs & users

Topic: extra-dev package

view this post on Zulip Christian Doczkal (Aug 10 2020 at 16:22):

Would you be willing to add a dev package to the extra-dev category of the opam-coq-archive? This would simplify the CI setup for projects that depend on HB and want to test against and

view this post on Zulip Enrico Tassi (Aug 13 2020 at 08:04):


Last updated: May 18 2024 at 10:02 UTC