Stream: Coq devs & plugin devs

Topic: CAMLDEP hangs on master?

view this post on Zulip Jason Gross (Dec 04 2020 at 21:01):

Some recent change to Coq master seems to have broken the build of fiat-parsers, as CAMLDEP src/Common/Tactics/ seems to hang for hours now (see

Last updated: Dec 06 2023 at 15:01 UTC