(lang dune 3.16)
(name coq-ott)
(sections (lib /usr/lib64/ocaml/coq-ott) (doc /usr/doc/coq-ott))
(files (lib (META dune-package opam)) (doc (README.md)))
