-----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.5-2
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:
 045acf95efac833014bc5309781975b81321703b 4824349 coq_8.5.orig.tar.gz
 8aa78ba839343a4f4d66da00707af94cff3203ae 16660 coq_8.5-2.debian.tar.xz
Checksums-Sha256:
 4c3f72ef9028c2c48e0a42b6712084bc50d9aba175e5474d0e4865e304dbfc37 4824349 coq_8.5.orig.tar.gz
 9c006ae16d9de199fde312a84a469583e61b1ab7106abcaedef63f0e453a2e52 16660 coq_8.5-2.debian.tar.xz
Files:
 9063f5cef054577c98901f5a067dce5b 4824349 coq_8.5.orig.tar.gz
 4bec75658211d580ee80f694e5eb7c50 16660 coq_8.5-2.debian.tar.xz

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

iQIcBAEBCAAGBQJWqkfOAAoJECUFM8yim3ZPwEUQAMIKOgWg02hO6VpaEuY3sbY3
Wn13T8Lvjd6kLktIHWPRv49i2IcXtNFGBxVeKQ/AZHQ4IOaT44ZbhS87TO8O3wYo
L4EPc6YjapCtJiAz3rWadd4U/3WylGy6UEvdFE/fBCQi014JTLL4g9dlG1LuBx7C
ZyZQffOHabPahOyvZc4ilTTpZY4GGvvZQDNreEDa6tFNfoJGly48QJKmqEUy1MQf
+2bRTC2D8nxAt1rBHMl2OCUeE+gafstWT2FlwGqRz4k2jbWgU4PzoQOZfiPzBXR3
fIseISzktFwEiQ/8rk9WnyrMN0pDpK1u8Fw7d0Ad66POiblicBmyMy/Xgt1H3BbH
FUmuD2yMwvp8Jn6sVCBci33WOzhh6P39tuZpKTLehlF5Y7uhBP54r3LOODHYE5Zo
ZjIsPz7eG6ffQC9qlzMA4RWp+YxGeW/LXRhtNxmx4QuBYfbjUxEb1NnKshRL/cY2
c1dC9z88GMewm/AwuphaIBwQSLWlusTXR2B27its2m6Fo+gdJnqXD4x0GUw5MtR7
HT7VoQ0w+hTqGnQ92xTMm+5RVbcvT+Vk13qeHeiQsDOuUXyv2M3wsbh1tKwzqc7y
neMbF2Ei14jKUfxfoDw0uwvzjMHFMUMhBE12JnJne8Bkcgxu6aiwTXOebk5FWe3d
OPr8WzWlob3U9LPi29dq
=ZoIE
-----END PGP SIGNATURE-----