-----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.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
 e67c496efc15232e502c0ea386ecf185b856acce 15712 coq_8.4pl4dfsg-1.debian.tar.xz
Checksums-Sha256:
 ebb0561b7aa9a7b87299689a9a564cb5fc5348fdf3997acdc42d76ce2a048450 3527076 coq_8.4pl4dfsg.orig.tar.gz
 8967ff8e6267fb768aa9146c4bbebaae3bbb61d376d2f308fccaf76a8dab7aa4 15712 coq_8.4pl4dfsg-1.debian.tar.xz
Files:
 e01be807904a8e60046486eba8f13f59 3527076 coq_8.4pl4dfsg.orig.tar.gz
 5e3bec8f79829315f8352219c56a6916 15712 coq_8.4pl4dfsg-1.debian.tar.xz

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

iQIcBAEBCgAGBQJT1Rn6AAoJEHhT2k1JiBrTMn8P/jqAiswWX5934cBvzD2eSHek
m8iDMIVRSIvbC2JTP5rDjKFfvX+zXdbyCeHTq5U1XWVD7JsMmagjWkkMWOCU7i/r
cIVOpxI/lWydQ2Cv2REfMVDnzhEOUeF5X3vv8ycp8JETkx9x3ZiCzJjUW3kPPgfw
nLLlwe+uyLrRJj4IlX/9Cuz5kipmIfbhX9N5e50ZosYjBmz99NZ1igCLzjWOQkDm
QcFOVSR+UZKEPGbfi99LtAYcaSiiT49AG4A/hzJIhTo5PHOQau7AXniX78WrasYR
KXZFM+uN6Euf5VOKeLVi5/EjJzraCiPCCLWfbuXhqr3JovZGtVDCJV4wN6MFcbqA
eFapqvRpkYIO+iEO6mDBy/haACsK5UV7q9FEiGLzMCBH/DxmCxTibL7ebrTh+5k9
MkytsN2YhHSbqTohbf42Lfb2jYqajrt85iqcSiuW4dckH5CvVpdJB/2TGY+ERp7b
N8DBhJqGCNxXSJXD73vAyOb7HYexDNe39lEvLA/AHKVs5DH8Zp/071vsNB3+wtT5
Ee3pZxuJFzGdBfKrdUU335DJIXWn0BSEi6en3geSjgwjQAl+uIN+D6rDqWIjJiz1
KW+iLI46KzpV3zFQbG+9AeRXsbziHXh7tqiuTZrAVm/D3kjZ9wE4dpWszltWMzyw
8xgujj59Cgv3atqsiucP
=WvVV
-----END PGP SIGNATURE-----