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: Dec 06 2023 at 15:01 UTC