Codebase list coq / b04b1177-91b4-421c-a53d-bd682e7f0028/main dune-project
b04b1177-91b4-421c-a53d-bd682e7f0028/main

Tree @b04b1177-91b4-421c-a53d-bd682e7f0028/main (Download .tar.gz)

dune-project @b04b1177-91b4-421c-a53d-bd682e7f0028/main — raw · history · blame 

 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)