Codebase list coq / 761d07fe-3eb0-46bd-84d3-6ecd8bc2722e/main dune-project
761d07fe-3eb0-46bd-84d3-6ecd8bc2722e/main

Tree @761d07fe-3eb0-46bd-84d3-6ecd8bc2722e/main (Download .tar.gz)

dune-project @761d07fe-3eb0-46bd-84d3-6ecd8bc2722e/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)