-----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.4pl4dfsg-3build2
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.5
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 (>= 9), 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 arch=any
 coq-theories deb math optional arch=all
 coqide deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 7fb87691df89e4faf8676d1896a34de5024e6ade 3527076 coq_8.4pl4dfsg.orig.tar.gz
 3b43c61e6fdf3b528cd07fd523d958a0c8062ee1 16144 coq_8.4pl4dfsg-3build2.debian.tar.xz
Checksums-Sha256:
 ebb0561b7aa9a7b87299689a9a564cb5fc5348fdf3997acdc42d76ce2a048450 3527076 coq_8.4pl4dfsg.orig.tar.gz
 8982a706d3d52060fd3341ebe5db6a2593bc477a25645e21271439cf17fde66e 16144 coq_8.4pl4dfsg-3build2.debian.tar.xz
Files:
 e01be807904a8e60046486eba8f13f59 3527076 coq_8.4pl4dfsg.orig.tar.gz
 1d0e6fbe15493c02d20759bd95af4838 16144 coq_8.4pl4dfsg-3build2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWOf+mAAoJEONS1cUcUEHUiO8P/ji/3IaIE8Yjh0yjdv+KvBtr
IpBM1ce7NR/wJHEkpuWEwAYZHeLG6W35GByQTNOnLCT/+xIp/NYdZ0fqcJafCFAK
W/doizCct6sziuzstxNidoX8tVXiDyXmFVU4ZRekWuhxW3GeIa0QkokI0qFysGvD
ZqraLp9ano/g2BoWDpaclG5o+iQAgGBE6T4g+HJXwNwN5MiPesbWnFBCQmlAoocP
X2fMzITBOrVz8xzpJKd4EmzULqr0kJspsdmNWROIVp9XQTx/vRJpfKYCATy9Znua
WYhNWBCB9b1E9/nRFqHwvvFqK4B+GgXmB7hj1ui8rNXronpi5fnfFnCXTwE3CV1A
UuwaxfgO6ib4YWLQab/8QPsl9yy8H+fl0hsx2Fmqo+4rMat5A4KoacYC0xOEhI1+
fbQyWr9FPkLBgAzwy+7KabX1/ZCpERW0bUKzVxPnZpfhAKLSbV0Ss1Ei7cCoXGgA
vobb3/Zn4t6FPCARTOIx1AUDaJpWClTUCqKfySV9xLWHMb//foXQn9f4XTZDXcYF
YMcxPW0AsDFcvB8nK45DEUe/iyo7Vqp0WYEYbnjbiBK5OllBc2CZ60iZEKEgltq8
kDQncKu6AY0fWZ1SHqrpZFkfTgDcOiaaiZJuGlX0br/3WWpoguRPESwPHvIdW0Xf
fJphXGDkDrBQWgsg2bJT
=cwtw
-----END PGP SIGNATURE-----