Stream: Coq devs & plugin devs

Topic: elpi broken in CI


view this post on Zulip Gaëtan Gilbert (Sep 25 2024 at 12:34):

cf https://github.com/LPCIC/coq-elpi/issues/695


Last updated: Oct 13 2024 at 01:02 UTC