Codebase list coq / upstream/8.11.1_pre1 dune-project
upstream/8.11.1_pre1

Tree @upstream/8.11.1_pre1 (Download .tar.gz)

dune-project @upstream/8.11.1_pre1 — raw · history · blame 

1
2
3
4
5
6
7
8
(lang dune 1.10)
(name coq)
(using coq 0.1)

; We cannot set this to true until as long as the build is not
; properly bootstrapped [that is, we remove the voboot target]
;
; (generate_opam_files true)