(lang dune 3.20)
(name rocqide)
(version dev)
(sections
 (lib
  /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/lib64/ocaml/rocqide)
 (bin /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/bin)
 (share_root /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/share)
 (doc /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/doc/rocqide)
 (man /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/share/man))
(files
 (lib (META dune-package opam))
 (bin (rocqide))
 (share_root
  (coq/coq-ssreflect.lang
   coq/coq.lang
   coq/coq.png
   coq/coq_style.xml
   coq/default.bindings))
 (doc (LICENSE README.md odoc-pages/index.mld))
 (man (man1/rocqide.1)))
