(lang dune 3.17)
(name menhir)
(version 20240715)
(sections
 (lib /workspace/destdir/lib/ocaml/menhir)
 (bin /workspace/destdir/bin)
 (doc /workspace/destdir/doc/menhir)
 (man /workspace/destdir/man))
(files
 (lib (META dune-package))
 (bin (menhir))
 (doc
  (LICENSE manual.html manual.pdf manual001.png manual002.png manual003.png))
 (man (man1/menhir.1)))
