(lang dune 3.22)
(name coq-menhirlib)
(version 20220210)
(sections (lib /usr/lib/ocaml/coq-menhirlib) (doc /usr/doc/coq-menhirlib))
(files (lib (META dune-package)) (doc (LICENSE)))
