Skip to content

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

Merged
JasonGross merged 1 commit intomit-plv:sp2019latestfrom proux01:stdlib_repo_legacySep 21, 2024

Commits

Commits on Sep 21, 2024