(lang dune 3.20)
(name rocq-devtools)
(version dev)
(sections
 (lib
  /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/lib64/ocaml/rocq-devtools)
 (libexec
  /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/lib64/ocaml/rocq-devtools)
 (doc
  /var/tmp/portage/sci-mathematics/coq-9.1.0-r1/image/usr/doc/rocq-devtools))
(files
 (lib (META dune-package opam))
 (libexec (timelog2html))
 (doc (LICENSE README.md)))
