Skip to content

Merge branch 'main' into fix-coq-config

777b7bf
Select commit
Loading
Failed to load commit list.
Merged

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

Merge branch 'main' into fix-coq-config
777b7bf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs