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

Merged

JasonGross merged 1 commit intomit-plv:masterfrom proux01:stdlib_repo

Sep 17, 2024

+13-9

Commits on Sep 17, 2024

Adapt to coq/coq#19530

proux01
authored and
JasonGross
committed