Tests: standalone
Depends: menhir, ocaml-nox, ocaml-findlib, ocamlbuild

Tests: coq
Depends: menhir, libmenhir-coq, coq
