AStat/domains/dune

6 lines
133 B
Text
Raw Permalink Normal View History

2024-05-29 11:47:47 +02:00
(library
(name domains)
(wrapped false)
(libraries libs zarith frontend)
(flags -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 ))