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

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc
Architecture: any all
Version: 20201216-1
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.5.1
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), ocaml-nox (>= 4.02.3~), ocaml-dune (>= 2.2.0), dh-ocaml
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:
 bf2578a092b1a6d8b54bd3c2138075315f33d227 1109251 menhir_20201216.orig.tar.gz
 5ec8d1dec4cb54b1177e50eff34d4b8f061f3db4 13400 menhir_20201216-1.debian.tar.xz
Checksums-Sha256:
 a7a9d827409fa910a7d9de33ca0f353c06f4669f4ff4b1cf68726602e7cd2367 1109251 menhir_20201216.orig.tar.gz
 a16cb71f8e8e591fb859f10b8e78938746ddae5c8f4dcb9ac2cdee6c5d344347 13400 menhir_20201216-1.debian.tar.xz
Files:
 e67a5fe2ab67e2e7065a2dfe14f69c27 1109251 menhir_20201216.orig.tar.gz
 a55d65793e927182afa3df2c46efa799 13400 menhir_20201216-1.debian.tar.xz

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

iQJFBAEBCAAvFiEE/IeFmw45V03XKU7GPfRgADmhQMQFAmAEnyERHG1laGRpQGRl
Ymlhbi5vcmcACgkQPfRgADmhQMT17BAAkUXYl2aS5UDzIHVA0YTvYo6JCGaPYz/0
ycUv2Lss759F++6ShQ8pFdSGDWBSVn6WeCF0gjvdvUBD7pYbnPZS5q9V7uetdXPG
kzx3PG8u3IATmr5FcgrJBwSvqZTJF+LeU/sPbmuNo5cx6MxAoVVS6WnljOV4ctdq
2h5ynvLJuWWaeVf7RnwlMvxXAeM2lcI2CzRuNTX+bJPbCvmTbz/htoVSsmxfvaOj
4Yz8Glm397GStPCOqKieehOmK6C5utZZCXN8avvPm4o1vqyc4RJibkQS1jR96DPo
UUBnIgPM2ddUfjxbNjkHgxDk19JI5LSC8TVKz85aNwKiyyq3A/kVlXiNJjPr52KL
eqOEoR5yzgLsdL1xJ++aoP7rYdpH8DkkTx2GTjUJ75VAd7bOZjAVVHNX2NXJNAQB
rQHQLOvAsLgFI5zJn5GXGyEL/dbxqg5kwWFutRNyyaxomlmNKSO3F1qZxyVZFbJG
i12LfSEdcmUABeqFadS+6HADEX72OtHJyzca6aEb9V2PjbnI3glSAP40lbmfYQKY
oiWqBmO9TRQPfRi/1JBy6EiIRQqH0FPAh4X0AsG4jDwNlhIcinDl8KjpsiGLywVS
YvAOJZPacRZKhtaKSg+skKGZpYhxUiEPrQ1+EwKoHPh/qyOv3qghfmd2VvqDdWWw
2pd/F5OH8n8=
=eMOv
-----END PGP SIGNATURE-----