-----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-2b1
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
 725f27b9d15bdbb3e011fc361e01b1c82933fa57 16772 coq_8.5-2b1.debian.tar.xz
Checksums-Sha256:
 4c3f72ef9028c2c48e0a42b6712084bc50d9aba175e5474d0e4865e304dbfc37 4824349 coq_8.5.orig.tar.gz
 1636768f6c7452b7c7a23adfb34f01b85a328ef6e58c39538e48cdc799fcd7f0 16772 coq_8.5-2b1.debian.tar.xz
Files:
 9063f5cef054577c98901f5a067dce5b 4824349 coq_8.5.orig.tar.gz
 f996aefef1ab73ce93ecfadcdfa3fd04 16772 coq_8.5-2b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXbPb1AAoJEKBN28suwKn/hfAQAMKlF00q/GjIDL41Z7uH17kx
NSRzMScVml8NIAK7c5/R8DKiXYca43/hxyHrLOdpo6rCCgPTBxF0pgI9o8Pmw0DI
DFptlr8hgJTQltupbXOBZLrPL2XDg25G36xW1njfpvbZBnXW/Ln/ixpGkbtn1LDe
tdPgIArVVGNbghg5QctqovvrsD7iBuDZmDNnihRXJJFuXWTXX1TH3v8d3sve1l/0
+Tu8675S/fc2TF6ZjJzgN90bhRRmUdsRYOr6igqI7dx5mPwi/yQQYl17rEY6ceBK
2Lf9C01p4ybYOS5KtVXt5HTTTIk952X51vGSYfIlmxu2LK9k7An4cb/6VDhiPftV
ddjni8sn9ztF/nTHDzdiGsTJkh8JgAvqNM9QM0SWAijwtXPE4dS15kLbv2aqTCeS
tA+RMAB5E9/SJaHek4pH1zzCV6xuoElMiCApjOE9BrSpNbWjeYgK+zraN1c2iiuc
HtyU5XNAe2TERMJdUE5Y69+731mRYGtrm6D8QotS44jSunB+cCjnAr2y/aRX+XzP
4EEoBqPL7KxEV+oLpCs9qCxuy7pPy0hukpncNS9wtj+mRHcbgby0X5UlXrKYC5Cy
ek4NK5WktEFhO7o6hjwduzGKKRhEGikS7fZK06nPy44VbqG6go8ANdEZsGYFRW7T
tTRSEk1pBLIcbXvccdOm
=3kFm
-----END PGP SIGNATURE-----