dune-project


1
2
3
4
5
6
7
8
9
10

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

(formatting
 (enabled_for ocaml))

; TODO
;
; (generate_opam_files true)