-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: coq
Version: 8.0pl2-4
Binary: coq7-libs, coq, coq-libs, coqide
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: any
Standards-Version: 3.6.2
Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0)
Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@debian.org>
Files: 
 39ee0fed76e47a11de2f49e2c236ef79 2285855 coq_8.0pl2.orig.tar.gz
 a7dcfd2964389244aa641320a886f260 12018 coq_8.0pl2-4.diff.gz

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

iD8DBQFDgiPbIae1O4AJae8RAqwJAJ9GhUvnWKQUiYWkm97rRyCjqKtyFQCgg1L/
RS+MLUoEPkHWqWSvLkjY8Us=
=DNRN
-----END PGP SIGNATURE-----