Support compilation using [dune].

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

https://coq-community.org/coq-ext-lib/

BSD 2-Clause "Simplified" License

129 stars 46 forks source link

Closed rlepigre closed 2 months ago

rlepigre commented 2 months ago

This is the minimal change required to be integrate coq-ext-lib in a dune workspace.

What is not included: