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

Merged

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

Dec 5, 2024

+6-2

Commits on Dec 5, 2024

Adapt to coq/coq#19530

proux01
authored and
JasonGross
committed