-----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.pl4+dfsg-1
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.3
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), 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: 
 3b53467bf96ad4622da6bbb5e46c34fa6f791b7b 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 439f3049308ced7bf118ca3f48fe31735c0c803f 16320 coq_8.3.pl4+dfsg-1.debian.tar.gz
Checksums-Sha256: 
 ebb517485af17302df9d76c7b7fd2257bf792352030f0b919638ad4515975bed 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 2ed22a03ebaf6cf4da9c67fb35761cf9c6290daf601e2bccb001e6279b477c29 16320 coq_8.3.pl4+dfsg-1.debian.tar.gz
Files: 
 8ac619e898d046d90cd0b7b821cbeeb5 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 24ff01227649a5f79b3064aeda26513d 16320 coq_8.3.pl4+dfsg-1.debian.tar.gz

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

iQIcBAEBCgAGBQJPcWBJAAoJEHhT2k1JiBrT6NcQAJZBaWLxo1UahogcwPYTIgwB
LeNTPPm8OHEp0u4DPnZSrtHaobK2D5eoOTj4pNYzinhZvHJWut7VoIhI8tBAJQ85
VlQPbqTHnt1cnMDrGKYDrqkf0MH1x/X46f6I1HRZW+u7lw8BwSrurzG+NDpR/5ha
JQcthK4aYL/o9s9RHTxiMMyBv1eN1KAzNFizkdKG28zhtZYh/yJ7983hCoHnpl38
QQj8xk9pxRlw9v2xKkOJOaQxdOlAtwL7F/khxoAWmsnp/w4DVVffzlUpkDWATwCL
TSc8w0w8ejgIXhbugJrQPuGWorpxhP8NEiiiPrOyw1APqJD6l1nklmxWQYHmsC/H
5n3LPmubMC7GYl8OOkkPMWsbwnUtTLQLZtIjNcU/Ngl8kHDrOw1DehZkUKhppIQP
L55d0fCIwo1TTcB8c6xBHgqBsF7iM/81XobCj0YNSx2BDyr0A0GgCHIyDgEOXFnW
OzI5oljOufy7ecPT3x5hxEtuoegCMG7EJeyrUBhxACi0gF8fs5zrRXWrJihliu3w
vYGRO6HiMX+DG0KJjfmOwFrVZfQb4pRzjNZhx4HIIc+XRu4RzPWnfAsKitwKR9nT
OPaard1f35dLz8lHJ9fCVT/jRtTCgd2M9+88Nf3VmZxSD+OxEbMArjZeTrkvkEIq
T1tb5c6WoJKSC1ng96HN
=jrSV
-----END PGP SIGNATURE-----