(lang dune 1.1)

(name coq-devel)