-----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-4
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>, 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
 37b090e08d9f7faad5885c6ca48ed1c05435c29a 21972 coq_8.6-4.debian.tar.xz
Checksums-Sha256:
 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b 5008604 coq_8.6.orig.tar.gz
 06e9cf81c5738456ed0289454c09b1ceb975a75988e373b626392274acdd176d 21972 coq_8.6-4.debian.tar.xz
Files:
 6449ee951a4ed1c7e03adbdadf36e516 5008604 coq_8.6.orig.tar.gz
 6e0e5e972cb5809c9e6a853f51646e1c 21972 coq_8.6-4.debian.tar.xz

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

iQIcBAEBCAAGBQJYZaPuAAoJECUFM8yim3ZPGqsP/0LhIWmmkI+afgRa0p+z5IO2
0D+qwVWalZpVogmPcZSMcIclKe8AJ9o5wPTmz0tAZtxBH0mH52ESvr3Lp6W4fNPu
Ayyx1uT/VPy5xE5sokCLPKyYerG3GM1sf5KOxCg3v6k5fEoAWPV84iy43QgYa+ah
HlGrfaOkPuYnckX2/6AArdYvWVfZLD/SkeBa68WO1WZqvQEdCHtRhzkw5Zh0erZf
kOhdRAkuOH4lGB5/H+PSqEU4qWhZq1laKBqX10qLHfMPW0A/2MshX91QD9B7sWAV
OZVi7ZGEUxe0bSgCuWjxLcghNFXgG3VW7gWjb7vX5RbnzgjsVyo+FgJB8St0lN9/
PsQQP7BqQKd53ydJh/8MxpxjA4Y4HMFCJZtVUtxER6CJkrl9UVVLa2+KR2a9S1+F
rI38mMrwCUCEtYh7UED6Qw5CWL3MVvoVvEx/6rhOsq9EeddIWgZ6WpunN+scYRGl
4YsZpfy8GRn80+hOWOfSGTpJ0VeV7tF7Ro29L2SjbA+6UHDCrx5EJwBBzxcNx78z
B/ljVc1wtXTsEWIyMxSQbreNBE1jofweAH83JD1qpJSGifT0cctj4wm/224KHqOV
kgGYiRb1UZsC32I4hAFTxh7ZAWC+lO/p5AdN/ExZVwPXvFKVagGBmu42+jMquOGm
fwmc05GQimLpQiKIXP50
=8F/Q
-----END PGP SIGNATURE-----