-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.0
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml-dev
Architecture: any
Version: 8.2.pl1+dfsg-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@debian.org>, Stephane Glondu <steph@glondu.net>
Dm-Upload-Allowed: yes
Homepage: http://coq.inria.fr/
Standards-Version: 3.8.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
Build-Depends: debhelper (>= 7), dpkg-dev (>= 1.13.19), dh-ocaml (>= 0.4.1), ocaml-nox (>= 3.11.0-5), ocaml-best-compilers, camlp5 (>= 5.12), liblablgtk2-ocaml-dev (>= 2.12.0-3), texlive-latex-extra, hevea (>= 1.10-7)
Checksums-Sha1: 
 92e1b8ea076a45d0273ee8a2e0fb117666611b8e 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 ddd98552586dd643466bef97b6c7090cf20ae3ff 14513 coq_8.2.pl1+dfsg-2.diff.gz
Checksums-Sha256: 
 297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 9891711854f70bdcb84a833ce201747419357eed4edabe1fa08b4ae16bc476ef 14513 coq_8.2.pl1+dfsg-2.diff.gz
Files: 
 93a88f13726cf363c69daedd8da580ae 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 69bcf07bbd347dd853e2b09f395d98ab 14513 coq_8.2.pl1+dfsg-2.diff.gz

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

iEYEAREDAAYFAkpQijAACgkQBg8odvzgPapXswCgm7ycJ/Ylj8Vf9OIPS/avr/SE
qIMAn1Smly96FT5tiBY7kTwtYWn4htr+
=Lp89
-----END PGP SIGNATURE-----