-----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-----