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