bin/menhir
doc/menhir/LICENSE
doc/menhir/manual.html
doc/menhir/manual.pdf
doc/menhir/manual001.png
doc/menhir/manual002.png
doc/menhir/manual003.png
lib/menhir/META
lib/menhir/dune-package
man/man1/menhir.1
