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

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev, menhir-doc
Architecture: any all
Version: 20200624-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.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), 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:
 6ced71cc5bd6fe169e9d2b7ffe06e0b193229432 1080785 menhir_20200624.orig.tar.gz
 ab0f7bdf6e86fb642312d6ed218ca51fd7ce59cc 13340 menhir_20200624-1.debian.tar.xz
Checksums-Sha256:
 cd89c21c0b5e5255d4b4ea2e51473a60aaecd4552609d14b637e79e247f65516 1080785 menhir_20200624.orig.tar.gz
 778f9cc0e01dd025f8c576936eab0017164867270e9ec2e881aa90155b2e06bd 13340 menhir_20200624-1.debian.tar.xz
Files:
 0880642924b3e4d794c7db75d87c74e5 1080785 menhir_20200624.orig.tar.gz
 b763f1420b8ef00026e3bea970a0b6c9 13340 menhir_20200624-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9BTDoACgkQdFxHZtTK
zf+mmQ/9HNw+NDhFjsi1qv8Upzkq0w8fXYwnW0WUG4hEOFZ03qzQ9ZzWdQFcb48b
PLM4Q7gSYJFu/dLwZ0lzb7ggxhL5DHFCS2Z/XaZJiz+zwX6Pz7EL2X1RrSNl976L
Tzw/47aqpBE4YF8jIlK1IWgcQKLCMdl7PZs1K/p7op5fzUdUupNePBWPrP5I+Wkl
IVb8SzGHvGQ3FZGUiO2miCoXLn1aQarhTykhRXaTLiswr05H4r7/zr0caq0hUz8q
jNCuP3k4vzhXmI3ZQAYEYRQwIpzvm/G7ruR3KLaqsOAdZ7qd8idQiU8xQLaRi1sS
SYfDVgcCOE72kjSe9dIYx3DaqgWNRe5pj1Jh7izEN3eTxyz4I9djBfU+iJ0865OK
rcerFcJLfSj2CQmbrMuVhw89qLapctzJM2/tTo6ZY+NTc+CV1CIy+zt7r5A2CKN+
O19Fp8jqmxZqDSxVGi+7vDDNWh6GXJTn9DJHzhChhuFTuNmrDLcSh9KvsR7k5CGP
3TFf6mF8cP1FmSSpw3B47h9BjYkUhL5rYM6JZdvzl26cegxhZHsGwcLvKC6XKDm/
BtxPBGYfp0rQs2+hkT8eha1HAjQ4vQVdaW6OhMoBDOGox5cJg1lbRpBtdeeJzprc
PQj1hZ/18+6bsbHH/whqV0bimraZ3l0wH90E/v/90nAAaXMtxm4=
=RlDS
-----END PGP SIGNATURE-----