Stream: Coq devs & plugin devs

Topic: ✔ CI elpi broken

Enrico Tassi (Apr 28 2022 at 15:01):

fixed

Notification Bot (Apr 28 2022 at 15:01):

Enrico Tassi has marked this topic as resolved.

Last updated: Feb 06 2023 at 19:03 UTC