-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.6-5
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
 0d42d137dc666c9b6d7af5440cf4da73e8bf6a16 21784 coq_8.6-5.debian.tar.xz
Checksums-Sha256:
 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b 5008604 coq_8.6.orig.tar.gz
 d286cf11ccc903f92e2999c9a45e51947a8f364347dee5112aff26d7db21f923 21784 coq_8.6-5.debian.tar.xz
Files:
 6449ee951a4ed1c7e03adbdadf36e516 5008604 coq_8.6.orig.tar.gz
 d9782c8c4e9c1d5947a58900f0270cb7 21784 coq_8.6-5.debian.tar.xz

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

iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnKIzUACgkQeFPaTUmI
GtNEDQ//TZHHo7eUROX8FPSZXG8w0dsVROtEWI0EvakOt4nKIT3fSy2jPNWTu+AY
IdWDDjvkiTxfzsQveP/umD8OBny/0ayWq6HCoFOlvspgWOaW2+9F1lIb4cwJVUQ7
ZAqHC2J2jYZaYjkoaUefLWDX7VeqhEgKl5pXpljtdkM6OagveLsmr05apKK21OAl
kjNWbOFusFDs6XzQqbsE2utODlsy610k/8y7JEh6dhA/pP1OwWHjVVzH84rdaW0r
MC0vyyzTdPbw0YULiuB67mCqfPqqpVXd05d/sTFKhBlF0Xdtety/TsDxBP8HZMoo
Z0Y0bW2/YHdggTl/rCsFovM7jsQCNJeHR4u2jvCTOLk7t1JzgdlnYyIn6t6/1e6g
iss7h0fMCwr/dZIIrXpN3hLVJsD1+1yC2mQhd/ID8nafY+XYXysDL3vxQtPjdzui
MDj5s5u+WJPj/sMQsjyfxUMzZKwpVfkxT8y15AE/ESWszcAnyQAs4aIfi3ZSq031
91XL6ds55tJTY2UZkzDqk5VsrIkyNZnB9ZkHH5bYqj6ME23TSh8WFZBlbmzkkJPo
h9yvuneNS30JD9+7wRm8t5paWD/5eYDSDNF9KLKiztUQANIAZiq1jXPTccGDi3HX
n59GAv9m+VQRlTCqhos4nITCxkmS+MuSf3Q0XTzhYxkLUaK9Av4=
=A72u
-----END PGP SIGNATURE-----