Don't use ExtLib 0.10.2
Closed this issue · 0 comments
liyishuai commented
ExtLib 0.10.2 is suffering from coq-community/coq-ext-lib#66, and should be upgraded to 0.10.3 or later.
Closed this issue · 0 comments
ExtLib 0.10.2 is suffering from coq-community/coq-ext-lib#66, and should be upgraded to 0.10.3 or later.