-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc
Architecture: any all
Version: 20220210+ds-2
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.6.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 (= 13), dh-ocaml, hevea, imagemagick, ocaml-dune (>= 2.2.0), ocaml-nox (>= 4.02.3~), texlive-fonts-recommended, texlive-latex-extra
Package-List:
 libmenhir-ocaml-dev deb ocaml optional arch=any
 menhir deb ocaml optional arch=any
 menhir-doc deb doc optional arch=all
Checksums-Sha1:
 766bbc677e47630c2adf08739bda88e0085c27a9 534352 menhir_20220210+ds.orig.tar.xz
 bf5d39ea71032db64b3e6c1e855a75c9f77e1a13 13348 menhir_20220210+ds-2.debian.tar.xz
Checksums-Sha256:
 f72379b0600e3536d80ae1ea9e765f1caca4e7c8d111fd3023bc0d49f50329ad 534352 menhir_20220210+ds.orig.tar.xz
 a167651f59acbf9be75d56c5dd14a0934f751679b626b82e357bfcf4a498f72f 13348 menhir_20220210+ds-2.debian.tar.xz
Files:
 72a05456fc697486078d178db49a3eaf 534352 menhir_20220210+ds.orig.tar.xz
 aac36dece9eb6825788fe9b72db4b740 13348 menhir_20220210+ds-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+baUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtwAP/j5y/8BLgdmwGUEWL211bX79YVNd6gl5
eaTjWoQYBOsXmZnqEoUk1quBP/JQ+hnE2BfbwPVHCQwEzUv009LEOr0MzM3hH34r
XZpW4ZpWZpFIrX+/fWiUR6XTl8qTzMpINfliVvjde6nu+l32veK7Atd7+6wSV4vm
rhklocTk8wByiow0RZShmar2rCIznASu4MRtWLCcgR9hvX0i5ySDD+ZBvktl1RMS
5CPLmm066y0mwzSzklXJiAeP2a0jAVjNBYdMGLUNWS4Qx7ui0XoWRkmldwg0AHUU
1bO7VGbaFWOPWvFsAz/l1zCvVEqcpT3Zr5iEo7HhGkOPSXtyk3z8sSDRcxcTHZ4V
++rFr3smSi1kEyqIwE5+KzGHSccmPNi9PfRBvdTh0MLHlUdfa9T7RNR4/5zVBCxZ
p2cR36lUcqswVVed6bxLdKdHz3Kj5MRDXFWnGDPnRdMUEWgMnkUIwOD6oA+ksLpM
STl1H5/EWk6TtNOK2FzerzIZScmmYT5YpGf68U3u6ue64nrwXDNxmm0MrBCEYIF2
z2z0wmDdR7n9ZwcsGD6kbrO/slwkhpDQhj1xqJzYLiTE7HHIaDmbe7nv6u5SY+iU
7GrH7tTlIcHJ8oi8xoo9GgueNr27MezxG81oJVbl0OY7CXB9q84KSRSNYjpQ3Zkr
Qxb+6S6utmXg
=npGd
-----END PGP SIGNATURE-----