Stream: Coq devs & plugin devs

Topic: 4.09 bump

view this post on Zulip Pierre-Marie Pédrot (Apr 25 2022 at 14:39):

There seems to be some trouble with the lablgtk package, the docker compilation failed: https://gitlab.com/coq/coq/-/jobs/2373153490

view this post on Zulip Pierre-Marie Pédrot (Apr 25 2022 at 14:40):

any recommendation?

view this post on Zulip Pierre-Marie Pédrot (Apr 25 2022 at 14:44):

ah, it seems to be documented in the dockerfile

view this post on Zulip Théo Zimmermann (Apr 25 2022 at 14:45):

Bump lablgtk as in coq/coq#15402 since we're planning on this bump anyway.

Last updated: Oct 13 2024 at 01:02 UTC