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

Format: 3.0 (quilt)
Source: coq-menhirlib
Binary: libcoq-menhirlib
Architecture: any
Version: 20220210+ds-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-menhirlib deb ocaml optional arch=any
Checksums-Sha1:
 9f14a8f3d6fe60f445b98312249fc6a415d55cf6 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 c544ea3e3f825051b7068f872af6af0ed4c79274 1696 coq-menhirlib_20220210+ds-3.debian.tar.xz
Checksums-Sha256:
 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 184c2d3ce7faf2b0c2d3cd35f03f16bd96cfc4ab5e2f48f6817ae290bfd53c6a 1696 coq-menhirlib_20220210+ds-3.debian.tar.xz
Files:
 f8a31f9808fa3fe75b9d3f25cb7f3c14 38152 coq-menhirlib_20220210+ds.orig.tar.xz
 f936922f7ef07ac3691213ac96d2cebf 1696 coq-menhirlib_20220210+ds-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdw08SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpDUQAIkwlH6SEk8IaE+K2NNfn2LOc1SAYQpU
Mr8HOdCdLM03DS8VisZSUxDSoP5khBTY2m8kwSPaUE09N2jXtURs57vwdGIQ7ydL
udX30wA8wkR7wti48uuEFPfV6XsuZ50OX0goBrmmCHdwQnvbIlEn43mYuz/pYX9q
DOLo3TMggqhJjzQwOT/D33OFC1O4pQehevX9mBYicVjHSyL64GVq6AlmOHTgKf1o
al/fYP+tXTqpYzJMnqod9GtL4ef5s0/j7dxmX83ZjQtFClHmDDwWtSeXp3rCMQdJ
EqLAbRhLKR7wqmSIojRgxME7Z7QhxurOpoan81LFceTalk20ROcvMOzGZc1Oqp11
htzLPRIf1nndKk5pSFHCelN66wUm68B6YmD3OGUBma585KsLPC92wfrOJesUzcMO
le6MBlU6ObBxANFp5ewsBlCZPrSvKOBesrDRDQkr687RSD5d1L6S7N7a0Ui8h+5H
YoWfrTGyJKwdEquEd2jO4cMIeWxIeHxYhsTpBES2qogLAh4onScY07rhSgyVzHnP
lAD9Q9ZI4Glz0ZEFoSrHGQYzpJ9ge6kcZd0W1twGqnS/yhpFyxodJp6oxfRYlI0V
Gt5jYi57HGaocn8zxLuivWixZtxM7k4JOmRPvnJVAOy0XafO5gttbRbDaJ2C2PwA
d+/g0zTBwGwJ
=T004
-----END PGP SIGNATURE-----