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

proux01 wants to merge 1 commit intoDeepSpec:masterDeepSpec/sf:masterfrom

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