-----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.4pl2dfsg-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://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.5~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, ocaml-findlib, 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: 
 0731a68150ae4cccf7609f2db167b93f3ce9f080 3528138 coq_8.4pl2dfsg.orig.tar.gz
 7be4070da679be48f82350160177a6416703bbdd 17375 coq_8.4pl2dfsg-1.debian.tar.gz
Checksums-Sha256: 
 53f1e75dafac66e4f287257041a9ab4f567af6fdd9407b74b307904fd452b735 3528138 coq_8.4pl2dfsg.orig.tar.gz
 c79d3e2147f3a82718e0bff70541f2876d1e2980f9c4058574b264be444a0f24 17375 coq_8.4pl2dfsg-1.debian.tar.gz
Files: 
 ea256f562d72fe0c22bf5faf2783b351 3528138 coq_8.4pl2dfsg.orig.tar.gz
 7de2acdd945f15ccc7c8522e739af5be 17375 coq_8.4pl2dfsg-1.debian.tar.gz

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

iQIcBAEBCgAGBQJRin+TAAoJEHhT2k1JiBrTuWIP/R46OmhF797SboeBz9VHWA+y
GaTa/enzMiazr4MRAkJJ7n4GEcGDFoYFKPTGHFRMSYEbRf6YOtds5vljUM10fVvz
aErccJhcHYxmdHRpwFFULDw+/CHEtkTY0faGY+mtcs+xlccHeULFg5euBX9utxSa
GEJRLVtktf7rUfgJPMOfGTnZrOpF6pXUBkgselsCJqIOS9MzdVkIOPcU2FfA3ftI
MtVlGF4OEGzx9mRblyOiNPBNxz97uIG66FFMX1F7hXSlM+nQRqRYq+ABiEq8C0lO
5Rk+8R+jAURliZI1UR/YS0wBBi3PU+vJnJ6C9w/l81wIpoTdlIPpl6xxeCUNK0td
RfRElRw46pvi5u/hxFaur0/Bg6l3xRxjLoADsyqYLqm8YkQdO388MopR2JV1IcMm
On0PgXJYz6i3wz+76exlxW2iR9lVEP7sjz3sHsrqK0uRngb7X6aC63MSAaukiVZB
LYTFVJ6tHAOxp0647y2MqFeduLUYi9mlIzk+IdpszHotYyy8Lu4h7FX3TQcAnSy3
YyxeeavpXVUsNAFSX4wZZBhtSrPXgCaccf0pgYI3jUg50XaA2bwIGitjp3R4Glna
5UKnaIDvxWIzbPNwFZmUWMGgOxGSawizDSM4chPeR+gkLhsiH6p7IrRQWy14rIEq
OOOj1iI3TGQWyRP8LFmh
=g+L6
-----END PGP SIGNATURE-----