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

Format: 1.0
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml-dev
Architecture: any
Version: 8.2.pl1+dfsg-6
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>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 3.8.4
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), quilt (>= 0.46-7~), 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: 
 92e1b8ea076a45d0273ee8a2e0fb117666611b8e 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 ec34563d9199927828b60ff5765326da5a12b46f 15684 coq_8.2.pl1+dfsg-6.diff.gz
Checksums-Sha256: 
 297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 13edbee649f0b6f6c0ed69a008f47ce3bc46cb04c1e9da5f8c9df723f1ea6b83 15684 coq_8.2.pl1+dfsg-6.diff.gz
Files: 
 93a88f13726cf363c69daedd8da580ae 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 e24ebfe4ab1003abb1f11c3c202b887f 15684 coq_8.2.pl1+dfsg-6.diff.gz

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

iQIcBAEBCgAGBQJLgmqsAAoJEHhT2k1JiBrTmXkP/Arfd1gAijA+2C52Lr2hZV11
/B35ZF+0C8J16MHgF+f2qm0nK1okbA4fMDpkr+zYpXwS5dIMtmrdB20PggvE29YJ
LL1gI9V324pR5LJ2oSsJFtEMWBh3ehKeWDVhJEgJtNWsRSzxAjKLdrtAFDdtdxJi
IiyVIqu4fSz2/Vkhr84IM35ZEYYhMc4SSUgjsf7BEMcdXNjLW2L8s21IT607uJdn
h/YlijjcO1ZWlussWxdhA+jJcGn1FUHrE8wm+rTNIzfwaGg4iSpU5NBEVfHrkWsB
CK3fcHIZIbASAGkfKERVpgeKeh80epH+SBVa+5dL1mM/yBnSIxPTRoW6iKFQm29c
ocxUp/cXP3h1Eu5DBGWfW9CccFtipn5EPfbl1jT/TK7mtTrpwLfTI1PuZTC0Ey5y
/lg3EXBa6Y7gea/iESrYVuwBf1PoUjfFNUmdx2OHHjoQWG0tIE95KISud6P8tI2L
E+Dk517wb0tHxVF4UMNm3w+s6ixUSBVwTNli2cutY9Cl6kAn2UFQbEeWg7QonwXt
Uu4HB4hYefRb1G1fyvEnx/tFv22q0ZagR4c2DkOjhe1ELToPdy8lEdrSY7UfFJYG
bN0WgsYKX6cch4ASkbcWbdNeq2EVpl2vHX/Ki+gJz3ffOMT6a1iPhSeb45pXww+h
ri9w/lEfbaDNLCODAbF4
=m1jc
-----END PGP SIGNATURE-----