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 coq.dev and mathcomp.dev.

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

ok


Last updated: Jan 29 2023 at 16:02 UTC