Adapt to https://github.com/rocq-prover/rocq/pull/17876#52

andres-erbsen merged 1 commit into

mit-plv:mastermit-plv/bbv:masterfrom

proux01:coq_17876proux01/bbv:coq_17876Copy head branch name to clipboard