(lang dune 3.8)
(name coq-menhirlib)
(version 20230608)
(sections
 (lib /usr/local/lib/ocaml/coq-menhirlib)
 (doc /usr/local/share/doc/ocaml-menhir/coq-menhirlib))
(files (lib (META dune-package)) (doc (LICENSE)))
