Codebase list coq / 3d4b9b8c-bcd3-41c0-a687-7051d3fd1dc2/main dune-project
3d4b9b8c-bcd3-41c0-a687-7051d3fd1dc2/main

Tree @3d4b9b8c-bcd3-41c0-a687-7051d3fd1dc2/main (Download .tar.gz)

dune-project @3d4b9b8c-bcd3-41c0-a687-7051d3fd1dc2/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)