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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any all
Version: 8.3.pl2+dfsg-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>
Homepage: http://coq.inria.fr/
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
Build-Depends: debhelper (>= 7.2.11~), dh-ocaml (>= 0.9.5~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp5 (>= 5.12-2~), liblablgtk2-ocaml-dev (>= 2.14.2), texlive-latex-extra, hevea (>= 1.10-7)
Package-List: 
 coq deb math optional
 coq-theories deb math optional
 coqide deb math optional
 libcoq-ocaml deb ocaml optional
 libcoq-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 e0e7751104afe8466ca7a7a2aeb46d43e18c984a 3147573 coq_8.3.pl2+dfsg.orig.tar.gz
 41918ddc5592022a1e5689abf7ae99073d470583 16678 coq_8.3.pl2+dfsg-2.debian.tar.gz
Checksums-Sha256: 
 7f4a1d846bc02a4403a5b2aa7977313dde9032e88684d510e9ffb42062d384cb 3147573 coq_8.3.pl2+dfsg.orig.tar.gz
 e80dfa9a256ade11cad19965ad54aacce2ced1da43f55fd75e61024a99dcdfc1 16678 coq_8.3.pl2+dfsg-2.debian.tar.gz
Files: 
 70ece28030a20c19b9292cb0c7d5be4a 3147573 coq_8.3.pl2+dfsg.orig.tar.gz
 8c4a7a566b3f9cb70dd4a7e5d02fa909 16678 coq_8.3.pl2+dfsg-2.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJOsb+pAAoJEHhT2k1JiBrT4hsP/jAkIG7qZVhN2m6k30ENYEN6
BcEHOGMM8LVjjJHYyJf2gsDlqMpj+egysWtUI0VeIHP0Zd7BBbO5qLSBhvgsLbry
H5F+BLqSPLtq/6wzbKNM74KY0GhS5XPbEFElUvXZilLzrzIswvlaIILduNHa4UZB
I6tgULyYYdMrXgvhCK06A9n332o2TeKIr36CVJR1SpYPoK1roWasty4gUvmBvidk
UCGuxrKC9kpRMZEb97OJe0+FGMwQdmyZw7dvRBXh01Ac53Ze6VsVaVXEYPqvOcmT
3EJ7/3bNVIUa1f5ZEQ+zUmGJqnnSAOhNIiEiWH+n2G6jJcYuBsDctY5QUctPsmQD
ekDjVV35AQM1VL+LiH7VutaG+1qu2/9YPIwLmhf3NhP3er5ydZRDVnktMLcQx380
+0vvCRnaHB1byCVv5wOGgbIGIBlFg5RHJK4R6neiUNifr1sCvS/OBrZlDRp+fAhc
YKnyGSGsp6ABkUaRHiotqUMg7fROCWl3CF+XocKdVMeFiRE+sgeDCZxFPqySSrjV
h5GfzgmvK9CNYp6FfQwLpyTxfWo8TrNwic+0E++OOnUk8NFmwKLfhYrKksKTmpLB
jjFqPxCYoVfe/j2f5UKzSKl5AZbE+6qJEUm60OKD3+gwGOJFQfBBuFviVxILBxvI
lCIkbj/ScNQTQg5fC9jo
=LW8y
-----END PGP SIGNATURE-----