-----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-3
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.3
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~), 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
 aa0ff3a8b48641abc06313d6882f6295287dbe09 15366 coq_8.2.pl1+dfsg-3.diff.gz
Checksums-Sha256: 
 297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 955138b5d7c4184d74472937417422194b93b230081f603bb9231d72a10d36b6 15366 coq_8.2.pl1+dfsg-3.diff.gz
Files: 
 93a88f13726cf363c69daedd8da580ae 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
 8667c0c9c1ef0ca6605b599064872808 15366 coq_8.2.pl1+dfsg-3.diff.gz

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

iQIcBAEBCgAGBQJKmU0HAAoJEHhT2k1JiBrTBNAQAIk8NjUzUhCoc9gfLsegd/4X
eL0zDusUaHjRNRrO0g9zbSeUv/SHgvOoOwWqU8tzx6h2Bg2Pu1irtGpM4hGg+XaG
BpfAApQXyd7dNqt8Vt3fNHnPV8ZTyF2pyYHwvl6V2VuONRRQNi5hTYFuZW1MMCkA
Dy+OoKAQdAeO62B18XScEVjEO6qWpRfcZcJIcLDaTXePoQHTMphyZ4yOX/9bcZRL
vlYNrmRm54D0MlzCNKjGuDiJf7v1oqhEF2wDqo0gP/fRDo70fBMwTqAAe5rjfNu1
tJAGOnj2El14GS5BZ/x5K7KrOKiV8Ea9yje5obYBivnthcbnIDXtdmEvCmiX9M1e
B5elvWR2FnuBiABo7qge/ODZ0lzlzmh9d4/MKwJNgc/cXYxZCgV7SdGjSMBiM6Xj
V+r+WDM0sYgk7xCNIN9heo8BnQj+RvsXC0AkqF+/JJAEqQ6wGqnfr+7WFL9XTndh
lkC+5v8Wa8l/VEy3u1jk9OHhsAXA+KaOv9amzoePxUaef+DqVddLWTjuTbLahBWE
Cs48B9kZOspFSPyMyOMfwDavrPgwazGoglcRUIEqVpbK/36KPgWlFnIM/YdB2lYr
hEvcuGIT5ik210YhKja0gNUTWlC34zKBA324xfp5e2KfgsCAmgcJiZzUAEbz7YUk
Kg6u8Wfg95EY/QRj+I+W
=Tf2Y
-----END PGP SIGNATURE-----