Skip to content

Commit 47acf9d

Browse files
committed
[CI] Add Coq 8.20
1 parent a788323 commit 47acf9d

File tree

2 files changed

+1392
-1
lines changed

2 files changed

+1392
-1
lines changed

0 commit comments

Comments
 (0)