5 lines
133 B
Text
5 lines
133 B
Text
(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 ))
|