Nombres/lib/dune

9 lines
162 B
Plaintext
Raw Permalink Normal View History

2020-01-05 19:02:23 +00:00
(library
2022-04-10 09:58:17 +00:00
(name nombres)
(public_name nombres)
2022-04-11 13:54:09 +00:00
(libraries fmt)
(inline_tests
(backend qtest.lib)
(executable
(flags :standard -warn-error -a -w -33))))