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/hint_db_extra_plugin.ml seems to hang for hours now (see https://travis-ci.org/github/mit-plv/fiat/jobs/746742402)


Last updated: Mar 28 2024 at 08:01 UTC