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: Oct 21 2021 at 21:03 UTC