Skip to content

restrict to Coq 8.10 and add Coq 8.12 to travis

64f2f5e
Select commit
Loading
Failed to load commit list.
Merged

compatibility with coq 8.12 #241

restrict to Coq 8.10 and add Coq 8.12 to travis
64f2f5e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs