Stream:
Coq devs & plugin devs
Topic:
elpi broken in CI
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