-----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-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, 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
 30ba621149d1a20da83ebc170663082a3a0d74d2 16976 menhir_20190626-3.debian.tar.xz
Checksums-Sha256:
 84f779c4883f969365915e5b3900b458eeae2acf13164ace52ec5696febb5031 2487950 menhir_20190626.orig.tar.gz
 8df5b6262968c14088b05c24d68e854204c02f85f98b99623f6eea1e65f51dfc 16976 menhir_20190626-3.debian.tar.xz
Files:
 097afbd686172e15bef0ccb938b9c634 2487950 menhir_20190626.orig.tar.gz
 bc86a87cfd45d00d6316119cf392acc9 16976 menhir_20190626-3.debian.tar.xz

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

iQJHBAEBCAAxFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl07IaATHHRyZWluZW5A
ZGViaWFuLm9yZwAKCRB0XEdm1MrN/3AED/9p4aXYumBelx/IVN4ps4DMX3Z9U9xJ
GYSE4ki3cYSwcCVLVa6p5VAymoHi74ELW/JcJllYuOMt2ZRnsDioghMdC8HBm177
PlgdiPNCXSysem4Zc6ARWVoqkuxHvQ42SV6pqA7Ms/wRo9NygO36JAOhQC8KftmR
oA+bAzw/v36W8327YJkF4sh3g9EEPH7Qk0LEHQBKIz+dYrvuFndFxec48oIk6H2w
YqFdOoQDi/YLZep/Kpgl6UDcIG4lCYDelvmYVnrS9w6UaiOrBrYTJp2FAvEyf9Ej
GQTweRL9LDxi6Af9iQWslkZbo+/tIAWxYLT5h6rwCx/vaTbYrkxyeoCGUGy7t1ab
ggkQh2hA84vNmyL2lONEIrR6I7pZAJEMbjU/kTDtw2kagWo+LCTNTIrkcVMEWuir
q6Y/3+NCit+1L0jEYGyiOc7QFrF9XNiA4BAk7qD8kzfenHb616Srng10jn9XPwSi
k68eHOYI3bsRlmdaBfwKjfY19z6DKd6LdnybTaMHkQAZhIpwze396klSSHZg4kV8
mM8lDCTeQrPmLiui/K9O+r0QtJMP3ThvHAEmecS8Ck2Pwg7PDm9bYGs+wYe08YlI
/SIXjjP9QOJGf9S9VdXIKv+Nbaw4eoLqR3eEPXTXb0+frDtcg6bClIPBEq3ybWWg
WpTg9KNX+CAuzQ==
=z1IP
-----END PGP SIGNATURE-----