(lang dune 1.0)

(name coq-devel)