Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc, libmenhir-coq
Architecture: any all
Version: 20190626-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Standards-Version: 4.3.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir
Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git
Testsuite: autopkgtest
Testsuite-Triggers: ocaml-findlib, ocaml-nox, ocamlbuild
Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9), coq
Package-List:
 libmenhir-coq deb ocaml optional arch=any
 libmenhir-ocaml-dev deb ocaml optional arch=any
 menhir deb ocaml optional arch=any
 menhir-doc deb doc optional arch=all
