Skip to content

[coq] make expand "coq.version" and co not depend on coq-stdlib#10631

Merged
ejgallego merged 6 commits intoocaml:mainfrom gares:fix-coq-configJun 30, 2024

Commits

Commits on Jun 28, 2024

Commits on Jun 30, 2024