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