(lang dune 2.0)
(formatting (enabled_for ocaml))
(name coq-serapi)

