Stream: Coq devs & plugin devs

Topic: build broken

view this post on Zulip Gaëtan Gilbert (Aug 04 2023 at 19:28):

looks like coq#17827 broke the build through interaction with some concurrently merged PR

view this post on Zulip Gaëtan Gilbert (Aug 04 2023 at 19:28):

cc @Hugo Herbelin

view this post on Zulip Gaëtan Gilbert (Aug 04 2023 at 19:57):

https://github.com/coq/coq/pull/17930

Last updated: Nov 29 2023 at 21:01 UTC