-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.6-4build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@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), liblablgtksourceview2-ocaml-dev, texlive-latex-extra, hevea (>= 1.10-7)
Package-List:
 coq deb math optional arch=any
 coq-theories deb math optional arch=any
 coqide deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 a2be8c6f6552e89e538631999dd6eddaf4257aeb 5008604 coq_8.6.orig.tar.gz
 b1ea322ac5e296a57a2dbd0560bd48106b26cb6c 22100 coq_8.6-4build3.debian.tar.xz
Checksums-Sha256:
 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b 5008604 coq_8.6.orig.tar.gz
 5e1b66e7b2faefdf0508fbf6255a018f5f0807237a0a9c3c1288d5493d1bde0d 22100 coq_8.6-4build3.debian.tar.xz
Files:
 6449ee951a4ed1c7e03adbdadf36e516 5008604 coq_8.6.orig.tar.gz
 760395789202cf224b587b531274fdce 22100 coq_8.6-4build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZeagXAAoJEMrC2LnNLKX5l1EH/2oMyBjCb6PkrKhBlYFZBBF4
2IU/UV8iAtO8lGciISMYQg/tDgy0JiDBsEf4kul98mjfERqreS6KNF8g9yvWMSxS
kDsZvpbDMT4CPRly2Dc3WUS9PnykjN5yEmu9rCQXCL8ikyA9gfnm62x94sguV4yg
evbNrEIuVFMq2n/U4hQZTNMvc3oQ4mBGTfNuDh0mhVPCw/iHqmQ6R5bkj9Z/kkP7
0fqUABBTQVN2DmCg+RQz2ySsLAKJ7GgHqMzRZpr/PGamFW5Ugm2SKGaoGYmzDCIq
HOMKSJR0vvyws7vLO5e98watnxTy4/WSDcHkaUBfhYAUgPLv2XbnO1dlH/BC3s0=
=AHqY
-----END PGP SIGNATURE-----