Skip to content

[sp2019latest] Adapt to coq/coq#18590#1827

Merged
JasonGross merged 1 commit intomit-plv:sp2019latestfrom JasonGross:sp2019latest+18590Mar 12, 2024

Commits

Commits on Mar 12, 2024