-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc, libmenhir-coq
Architecture: any all
Version: 20190626-6ubuntu1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Standards-Version: 4.4.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir
Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git
Testsuite: autopkgtest
Testsuite-Triggers: coq, ocaml-findlib, ocaml-nox, ocamlbuild
Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml, 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
Checksums-Sha1:
 9c2149a410953bc1f0bc6f97437f5509954ec324 2487950 menhir_20190626.orig.tar.gz
 8e6d21f16875b45c06866d5dd33d4718b5f4fae3 17164 menhir_20190626-6ubuntu1.debian.tar.xz
Checksums-Sha256:
 84f779c4883f969365915e5b3900b458eeae2acf13164ace52ec5696febb5031 2487950 menhir_20190626.orig.tar.gz
 9c7f3be93477c2e638d24e7f9813385f999a02ba32dffa7e2de9b0c2a3c09e49 17164 menhir_20190626-6ubuntu1.debian.tar.xz
Files:
 097afbd686172e15bef0ccb938b9c634 2487950 menhir_20190626.orig.tar.gz
 d60d29b7b26dc197caee17d620c39596 17164 menhir_20190626-6ubuntu1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1lXOMACgkQ808JdE6f
XdmKZBAAjIbcRNn2iODLsqe7UkdjfGYEYRg1UIwC7EvAJOF60+khXwjvYtELXOT4
Gw5jevONJPK+Lq18VY8WF5xhpJue+1piOjsmGKOSW8U6nD2zqhITYEe+HidQJn+q
mThe6dftDO1RN8SsN/Gv50sGKwU85WFSS7f0XLBCjQOVrxHGe0dgYn47Uk1Xn/ih
a7I7QU59aYslRd7UTr+4vtL77LQMHOnrnM8H/AlYKcL4MmPD+z/ilfxf7vcXkMRZ
fi8IO1VNBvcISLZtH7GcgfiLASq3xecahbH+/hoRV0m0gOGqblLwW8GhQQTP2OzR
cSRyg/sJgOWBLGe0jOaKIaplF3Y5gtPckHoqMcgtZC4WsSyeFmLUzIQuHTT18CLh
SvAVkRaeYrl/TAZHCqXHHrME9qLO+o4CVZDMaPByW4ESzVjdyKfECT7J25MERqIH
+eJU1qRnkM093GQ6CG/qtWaFzmU3oyGtPILrdciO6fkkN/gzk51mhQF0Sc93cyHj
YwIpKZPLAStYBLiaDr7Pu0aI0PrisKO4Sjl3S9861Ut2Ok5vWI/4RavdClXoZSKU
w17dy9Ysxy1/XCBiFe8Y42n4665M0IPI3GQB7kj/37raii4eUUfvhXMoucfmkObc
lwQaxtGa8j/3hbpQAx8rOM3E9Bp5nENF0xcq9bNJqEiufcVEuW0=
=x033
-----END PGP SIGNATURE-----