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