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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml-dev
Architecture: any
Version: 8.2.pl2+dfsg-1ubuntu1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 3.9.0
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.2.11~), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp5 (>= 5.12-2~), liblablgtk2-ocaml-dev (>= 2.14), texlive-latex-extra, hevea (>= 1.10-7)
Checksums-Sha1: 
 e994ae8621cfb61f221312252fe0f6d2f5b57784 3142575 coq_8.2.pl2+dfsg.orig.tar.gz
 2a42d2646eb4827a4dbf613df141a35fcb688634 17307 coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz
Checksums-Sha256: 
 a731c1313a3a124f95d8b54842553b9bef6ef30beaf19de2afc2a11429d14780 3142575 coq_8.2.pl2+dfsg.orig.tar.gz
 d2070d9587f803f226f3417d2ac1d916ea758fd372313c82f3094740fec9e92d 17307 coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz
Files: 
 64093f3b22d6f49418b4d5267925141b 3142575 coq_8.2.pl2+dfsg.orig.tar.gz
 1e67f8a91bf1923e32129c8ab871d5f7 17307 coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz

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

iEYEARECAAYFAkyU6LAACgkQStlRaw+TLJyvLQCglrSIriTWv6+sr9M/lSXwwbmI
gagAnRWMmuIcK7hTIYJens7AUSsH7sKZ
=1olW
-----END PGP SIGNATURE-----