Skip to content

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

Merged
JasonGross merged 1 commit intomit-plv:masterfrom proux01:stdlib_repoSep 19, 2024

Commits

Commits on Sep 18, 2024