-----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-5build1
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: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git
Vcs-Git: https://anonscm.debian.org/git/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
 6d0d637e06d1710bfaafd81e24b9060059e86036 21864 coq_8.6-5build1.debian.tar.xz
Checksums-Sha256:
 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b 5008604 coq_8.6.orig.tar.gz
 70e1cffd54deb41b7ad3e6fd0685c7f1078ba78cdd1f84e8a6225fbc349de9d3 21864 coq_8.6-5build1.debian.tar.xz
Files:
 6449ee951a4ed1c7e03adbdadf36e516 5008604 coq_8.6.orig.tar.gz
 246d0f061fef9ac38c5fac8b87506636 21864 coq_8.6-5build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZ9JJiAAoJEPNPCXROn13Z50IP/ilEyWZkRUQ1cxTCAQ/ZPU12
zH1fTMjIWTtR8MrpWv6x6UJ0chKy1shWm+ILmW66if5tQc/zUpCz0m+/p0+LZMBI
Qo8u8/cVJhyS0qIW48v6p0G7fEIQcL/AgKMxhOX0QoU5oCXWzQOVQBnzw4MiQqao
xgW/whiqT+cOjga0c4O5QFuL7ICqQJKa+8AM+8V6jWdhB6uD8n9VwO/uEQ+9W/c2
CgcGEvKZ/SWpbLt6V1CfA7nJW8JHc7d/jaxGTQZytBRlJZkrKJeqq2H91qBBx7nR
3nTQoKsUlKlD4phJu7yl0djhVYbAIX6rEd8fdk2K799UVUnX37/bKBlv4Py4TfUM
U4eG36xjHAF4JMY3OVdTs9NgHdL/pkLJEd+yvgapFjMsGccRuBZA8Jw0MYDNv0Qi
JYywL7Vb0rH0enWjzxHonLKy4olsU2ZFPqQE5JUrmimQUGYxRXK0jIgqQJveEq/q
zlJA8UblVzbu7y5DmRbY7Iw1Jq0/e9E7qTkj3Z+dSq8XhZuJ0PmwJ32XctvRxNHi
9RCY1afAjfw7nFvymFn0+RACs+V/k4yq4uEjRsMsxyGNdntE+jUpb2jku5crOhJV
MrhwqdGxRq+hQCZmDMdOCelRiNJfNJ0vDwZ67WJKkfUX8lOknYBBaD3JEKxWz1sw
nExIse01hHq1Mfuw79MN
=zq6d
-----END PGP SIGNATURE-----