-----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.5-2build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 6864761b8e3551cdc94938d7d9a87c9a46992352 16780 coq_8.5-2build1.debian.tar.xz
Checksums-Sha256:
 4c3f72ef9028c2c48e0a42b6712084bc50d9aba175e5474d0e4865e304dbfc37 4824349 coq_8.5.orig.tar.gz
 d573fb3bbd022ede9ced3fcadb65b2da005f5ed98b91e5a6394fe5a5440e53af 16780 coq_8.5-2build1.debian.tar.xz
Files:
 9063f5cef054577c98901f5a067dce5b 4824349 coq_8.5.orig.tar.gz
 c19c18eda2f5594610457559f8fdc6be 16780 coq_8.5-2build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIcBAEBCgAGBQJXXCpQAAoJEFaNMPMhshM9GpUQALzK+XzV6z+taqY41/xkCJW1
YHnMyFDN/x39O+XG3DN0R3dnDVt6CT2o99ZlJt3hYZv8UvBYea7LUdTHrEIIGLTh
feYucH1UgcjyH4JWQZae1Ms2YeJD9aHQk+b37IqAyHXhKIJKc+vLoe7foyRUZsiG
vyXUT8fQVQxJ6qwtdXGbMKIVy2Ad5ZDBWHLt3kOG+Wl9s8VGhvHG8f9wcXqO0j6S
5/7haF9od3gCw5EFBGeTkWs4lIu2OBBt1CUbSZC1KPGNX2LQCnfGFT4NjZkJUmwG
hRM1MEJQf0+YVEat+bJKE+i+2EwIO53Z1fey/zFgCIEVs8BDO2q4q1TjBwDNfO9z
YZ0jwO1owzwskI0zMc29lOsNhMvl72n2teNbl6KRbkpIGfwnr/IWDcLf06/WTbxg
Fwd/1MI7VgUNrO3zQq8T74EwrJiicsthxnxpA5oQzD1ZXOkVZYsR78DGVT6ZVU/W
qoR8L1WylmJHF2r1X/s7PT2hU7UIegN6IM68Kyylrdb2/SgOtXZNyHz0pQ2LOUiP
I7e1cs9frUt72ZFhlzYJdkqKXQBcmfplFCJb/cMamYRc3chhDNOp7JJSG8+o90uI
8GzoHkiWeuc65TNB/+ZLZVbUIVkxNLqkUXGFVuwomuxbzeueOt75h4Uav6tvW/Ne
7AsA6QnX9shNX85R4nOM
=rsed
-----END PGP SIGNATURE-----