File: dune

package info (click to toggle)
coq-elpi 2.5.0-1.1
  • links: PTS, VCS
  • area: main
  • in suites: forky, trixie
  • size: 4,176 kB
  • sloc: ml: 13,016; python: 331; makefile: 102; sh: 34
file content (7 lines) | stat: -rw-r--r-- 314 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
 
(env
 (dev
  (flags (:standard -w -9 -w -32 -w -27 -w -6 -w -37 -warn-error -A))
  (coq (flags -w +elpi.deprecated -w +elpi.implication-precedence -bt)))
 (fatalwarnings
  (flags (:standard -w -9 -w -32 -w -27 -w -6 -w -37 -warn-error +A))
  (coq (flags -w +elpi.deprecated -w +elpi.implication-precedence -bt))))