Adapt to https://github.com/rocq-prover/stdlib/pull/207#1204

proux01 wants to merge 1 commit intoMetaRocq:mainMetaRocq/metarocq:mainfrom

proux01:stdlib207proux01/metarocq:stdlib207Copy head branch name to clipboard