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

Closed

proux01 wants to merge 1 commit intoDeepSpec:masterfrom

proux01:stdlib_repo

Commits on Sep 16, 2024

Adapt to https://github.com/coq/coq/pull/19530
proux01
committed