-----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-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 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:
 2b8751d889068afbadcce7366556cd1d90e2ac53 3523449 coq_8.4pl4dfsg.orig.tar.gz
 6974b5a64aa3b89c15fe80fbcd84d6efa357b39c 15924 coq_8.4pl4dfsg-1.debian.tar.xz
Checksums-Sha256:
 d3296a04821214fbb54d3c165b542e7d58f9809a55e18b7c85ce357213c12cd8 3523449 coq_8.4pl4dfsg.orig.tar.gz
 8f7a37334dcf2faf925f6f238958fa5de28e72c8c62fd485ce28bfada503c259 15924 coq_8.4pl4dfsg-1.debian.tar.xz
Files:
 1acf7705971e2a64e3e201c7f7091bee 3523449 coq_8.4pl4dfsg.orig.tar.gz
 1b1c8f55c4d7dbe24e19f1002d495cf9 15924 coq_8.4pl4dfsg-1.debian.tar.xz
  
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
  
iQF8BAEBCgBmBQJT0WTAXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7M2AH/3HPpm7UDrU8LQibixdquw9N
Q0ZPBYNVk01TuAPWrHJeZgflJGfAYJUJwmq2w5DpN165AF/4ja7dBUfIkxgFLCbV
N3MtGbGQFIXuGhoaf34OocsyQDYxar032yATVQWRMYmxqeGRDuldWCdZQ+0Jt0Vt
k0aCP/cy8MpbAkbWTK+RB9wfYzEyIllKS3kcjB1ZlanM7GInNlQ4ao764on1iyWx
laDbrMDUbg4fBTPRxvro/0pfN3FyzZVpNiQfArWRAPWDqJ+UzDgSPTTrpP0AfMbT
sbY38YuruOX0nU/p4naeA0uVo+/aDbbL5XQGJXF7jLz0uLbKfrjvpIvotkXdvMk=
=UA6a
-----END PGP SIGNATURE-----