(lang dune 1.0)

(name coqide-devel)