Adapt to https://github.com/rocq-prover/stdlib/pull/251#1264

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

proux01:stdlib251proux01/metarocq:stdlib251Copy head branch name to clipboard