(lang dune 2.5)
(name coq)
(using coq 0.2)

(formatting
 (enabled_for ocaml))

; TODO
;
; (generate_opam_files true)