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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any all
Version: 8.4pl3dfsg-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.2
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git
Build-Depends: debhelper (>= 7.2.11~), dh-ocaml (>= 0.9.5~), ocaml-nox (>= 4), ocaml-best-compilers, ocaml-findlib (>= 1.4), camlp5 (>= 5.12-2~), liblablgtk2-ocaml-dev (>= 2.14), texlive-latex-extra, hevea (>= 1.10-7)
Package-List: 
 coq deb math optional
 coq-theories deb math optional
 coqide deb math optional
 libcoq-ocaml deb ocaml optional
 libcoq-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 1d56e9733b1c209697c5f340206b4ce7e6244795 3521338 coq_8.4pl3dfsg.orig.tar.gz
 8f8e5f8cf70490e4949d291ed64115d6716f5065 15800 coq_8.4pl3dfsg-1.debian.tar.xz
Checksums-Sha256: 
 0321c3e60eb5fb65f9f4f093f07413444f57e57496e908e7654e5fefeda213cb 3521338 coq_8.4pl3dfsg.orig.tar.gz
 38e0b2acddd47e929b535301e656a9c8041d37742a7dd86922dd43bfe2e6f8ce 15800 coq_8.4pl3dfsg-1.debian.tar.xz
Files: 
 e26ec264daf5548268677ff1f18c7849 3521338 coq_8.4pl3dfsg.orig.tar.gz
 b6daa124eafc37668460e52df7b25113 15800 coq_8.4pl3dfsg-1.debian.tar.xz

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

iQIcBAEBCgAGBQJS2/3fAAoJEHhT2k1JiBrTvJMP/iup/oUERNE/EK10j7HLwVrZ
9BGG1wuuRrW3Td12nuMspz4z11pQD/uBY72LxvnMhxm+Z9g9HN31BtkEWu4RZjkj
ZA/6Ftn2LF/P2SiIHcAHvJWEW9xp19Sv//Sc8XX5LPisscD700qKVh3B5QdplIAj
lOSft8DmEtItUJhfxJ6XO0CUO5JCIhOcDfC/DGAGBHgtvyln4Ur34VG2k28xqTEu
AfXN7C5KdqR3MwXor+ZFEu/gyXKf8oQeL288lLIrZojpzxr2/3vUPwDiR0Xygr2L
V39A2VO8q8nxRkJeulQbcITW+/A9Hy6DQwiGZgv6oBoASMUbgv8d3Fu4Ab6XsrAy
WITW7JpHpBBIhWHyuHUz5qdQmPvK9xC/yl0NF86E63qeBPkYuiMP0UC/n9pZLoVs
GmfSimxpLURpaFkB8IX8zm8fsCd9elDNa/DUEY87lRpkRyTgu6ojp1GqwGpMUGyb
JMS4nFZidfkogGYFguD56zfO1S8m39MnezxxWxtW+JBbPX6Wtc9aI/WZ/xbXQhV6
dWSLFGzI9knqXhYjYiisdZhmlwbC4ZOWEcXH31VywU3TFe9tHlkBbiu0WogFwub7
7ozGkdBl+jx7mO9P5OL9GkWj864YaXH536xQ/JvNmBqqJwTWt7d1kO0reMsujWLj
IXJwWgP6/QMsWRrYRrpZ
=4icS
-----END PGP SIGNATURE-----