Stream: Hierarchy Builder devs & users

Topic: ✔ coq-master vs. master


view this post on Zulip Karl Palmskog (Dec 01 2023 at 19:53):

did HB remove the coq-master branch? My opam .dev package suddenly failed.

view this post on Zulip Karl Palmskog (Dec 01 2023 at 19:53):

ah, this was done in https://github.com/coq/opam/pull/2849

view this post on Zulip Notification Bot (Dec 01 2023 at 19:53):

Karl Palmskog has marked this topic as resolved.


Last updated: Apr 21 2024 at 02:41 UTC