(lang dune 3.2)
(name jscoq)
(using coq 0.2)
(using directory-targets 0.1)