(lang dune 3.23)
(name coqide)
(version dev)
(sections
 (lib .)
 (bin ../../bin)
 (share_root ../../share)
 (doc ../../doc/coqide)
 (man ../../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)))
