Adapt to https://github.com/coq/coq/pull/19530#15

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

proux01:stdlib_repoproux01/sf:stdlib_repoCopy head branch name to clipboard