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

Format: 3.0 (quilt)
Source: menhir
Binary: menhir, libmenhir-ocaml-dev
Architecture: any
Version: 20140422.dfsg-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Standards-Version: 3.9.2
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/menhir.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/menhir.git
Build-Depends: debhelper (>= 7.0.50), ocaml-nox (>= 4), ocaml-findlib, dh-ocaml (>= 0.9)
Package-List: 
 libmenhir-ocaml-dev deb ocaml optional arch=any
 menhir deb devel optional arch=any
Checksums-Sha1: 
 6119b304c1644fc76c2b240b2b0d18e1ce4d9493 252437 menhir_20140422.dfsg.orig.tar.gz
 f8debcfbdd001cc8e1d12648da03944e059809fd 6540 menhir_20140422.dfsg-1.debian.tar.xz
Checksums-Sha256: 
 3e199ad4e6cd05872b8e714aebed1609f2e2218b12c5dafba456aec12e4551b7 252437 menhir_20140422.dfsg.orig.tar.gz
 4f81c888e565c1b50a62a2d23d03100759c0a0362b381cc791e41096a5a7ef54 6540 menhir_20140422.dfsg-1.debian.tar.xz
Files: 
 c719e965604bb08849f40da60b575dc9 252437 menhir_20140422.dfsg.orig.tar.gz
 4d92934cc3e93b246f3280bc1b0237ee 6540 menhir_20140422.dfsg-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCAAGBQJTXP3OAAoJEDO+GgqMLtj/AfUQAMWI4KTHzNIwXGUVcum94Sfs
DrzxyiJvjC2XB2PaKU3cSsBgKcPhlnmiaCnxYlRn/ZNdpH6p552j9JgIxY8XeVlU
eioAP4BLcEu4Np+SqTML4/ZlRhQGufMZBDEJs2hqIGIjMKykffDuxFRlq4KcTYFA
mIkApUzqoTFCPzcsNbDh4YD+PgqEO151EEo9N9+Sfxs5kcdLB9qlwiBDjc1z7sic
a8wzfIEGtGd+3zpeqL+fe4TOgofiZkVEL8vmp8/9DlmHYznJj4ZcWo3GzK8+eo1c
wJKwjAe57qdCOExYAAU1/UtDLvRwgjPxmLlavHz7WTJ1HFGWdpD2/H0RQeaJLMFL
70dCG80HBtl7OpRkbkPomuatFl/wObfDBsFP6VIpgtR0oRRwAsZ26f5QeAmm8Np7
+JRPcEvv1LeqgZmCgMhcRqrGCKe94JQKJpXCWFXe+p1ENtl3KvsdFXLhwLmDkK2K
bA1ZL2jbknR+osOjONainAbmvTjCq95Ytf3faGitHO+Xo3wuvbf9MIh+01fDulel
kqFOqtse/CxqcZ4NOEi6DrQTT8+NpL6JgETo0CdVy6IckghP1OHBog9qWjE5V1Dr
Jb+Z7s3uPeVvUusDc0QQAWgvDxcykSNv9Tn85TFGhAyB1SRZQHXrauPtcAzGWmYs
Cq7ERUNWx4cK9yY+2itD
=kIUS
-----END PGP SIGNATURE-----