-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml-dev
Architecture: any
Version: 8.2.pl2+dfsg-1
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
 f0982c65e58ad3c6dd658405649dc93d478b7c87 16779 coq_8.2.pl2+dfsg-1.debian.tar.gz
Checksums-Sha256: 
 a731c1313a3a124f95d8b54842553b9bef6ef30beaf19de2afc2a11429d14780 3142575 coq_8.2.pl2+dfsg.orig.tar.gz
 817965fc8e0cffd51495c266dbaecf0d34eb826f64bca420c4825d08e8f329c6 16779 coq_8.2.pl2+dfsg-1.debian.tar.gz
Files: 
 64093f3b22d6f49418b4d5267925141b 3142575 coq_8.2.pl2+dfsg.orig.tar.gz
 22f7bc31e1ad9289856fb92824e0e2bf 16779 coq_8.2.pl2+dfsg-1.debian.tar.gz

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

iQIcBAEBCgAGBQJMLff2AAoJEHhT2k1JiBrTPAsP/R1OJ87ohPJ0Q55v2kft/CM8
0vfSf9MOTNkzNNf6sV31Mz1LY5689vvjzm+lXKStc3d5QGiia90/sTeGNSo98tCR
kdzHcsYRoi/128b2XNS7nfdMD9Hi23MVPoaIcKIRdO0M8mHXDNEWF3bvvUYRPr6q
cWo5aNCDmhON2QhfwbzR4mAQN8R1lXgV6LwVPlqXLilTbgARZIa6YevzyP27Lrkz
v0lyhT8p39rp5BLEDxVZolyjIv3HKOKlWGv+4ybu47rVDDxHACJbK2qC8Q/H6u3V
haObTPuJfaW60MAuSoqyY7QqzqppSV+Phriln/zNY7tlhdkT6FbqQtcL8dE82fNW
O/CRXnyBPGjBVQkO307aVINBNPrSC669ZhHTzRnBGYmWcEdIUOUrEs7i7dUqa5dO
+hhwbvs5fT19pXwi4iOIkA6NgyXjRr6b+MbpFW6i+7mzfLXdQupPaExTwTl9k9Nf
YQ9p+MNq/ts81ENme1R5ee8MShU4kokWi2iZuwlc0trv3qg6LlaTR8BbKpen3XTp
7MYFZWTyqfaejkc0ffNYdDCX5gLvMByx17FOftRyg/qzzcF0R3VscNg/JVlo9zMU
j0ZHLlinxoRoVCTBXdlehHBkmEjaewZChB6Uqtcr4Tjs/fNm4JAWl2ynsFiLcytz
bLtfhSpR6ygUnq3HQuEl
=PSKA
-----END PGP SIGNATURE-----