Skip to content

core: Support Coq 8.15 - #64

Open
lthms wants to merge 1 commit into
masterfrom
coq-815
Open

core: Support Coq 8.15#64
lthms wants to merge 1 commit into
masterfrom
coq-815

core: Support Coq 8.15

f4bca7b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs