(lang dune 3.7)
(name coqide)
(version dev)
(sections
 (lib /usr/lib/coqide)
 (bin /usr/bin)
 (share_root /usr/share)
 (doc /usr/share/doc/coqide)
 (man /usr/share/man))
(files
 (lib (META dune-package opam))
 (bin (coqide))
 (share_root
  (coq/coq-ssreflect.lang
   coq/coq.lang
   coq/coq.png
   coq/coq_style.xml
   coq/default.bindings))
 (doc (FAQ LICENSE README.md odoc-pages/index.mld))
 (man (man1/coqide.1)))
