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

Merged

JasonGross merged 2 commits intoJasonGross:masterfrom proux01:stdlib_repo

Dec 9, 2024

+11-6

Commits on Dec 8, 2024

Adapt to coq/coq#19530

proux01
authored and
JasonGross
committed

Commits on Dec 9, 2024

Apply suggestions from code review

JasonGross
authored and
proux01
committed