-----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.pl3+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), 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: 
 ea93417d91fbb9c1a04c9c9481a99e620e600c5e 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
 b0774c855eeb6a86100ffcdf28be9575fdcccfcb 16325 coq_8.3.pl3+dfsg-2.debian.tar.gz
Checksums-Sha256: 
 4ea1d7dee8011c8b98a63cbd1c32e94a620437a81ca48abbd11363cb3bf927b8 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
 e1f5d67e2a1b78b6b2f70f15d7d8fae3d36b5ab65cfcd092ccdee2a812ad5c42 16325 coq_8.3.pl3+dfsg-2.debian.tar.gz
Files: 
 5023e70c5c8a83200654f1f724a42cde 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
 7687bb20b6b8aa6ca7f1e970b7a85395 16325 coq_8.3.pl3+dfsg-2.debian.tar.gz

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

iQIcBAEBCgAGBQJPU7WZAAoJEHhT2k1JiBrTOyIQAIcIQsaU7JWQy1xxgVaogGxB
zYYIJjmJSbDOpCWCilgyH9ljf03JbpuDFzrcALz74A34p0YjaciWjzAvD68SHolK
KHnmp7zKUZLDonLKepi+C/4kVZz+nMW3GfsU8MjNHIUxve2Hfq/7zcYsD7pkujtw
AWIC91rwKFMq2PA3+mg1FPIMmHgG2Tif2Rv2awQUlu0hLeW3EKxoz4XU1ZWlRG2D
b4j21Df81OaXnoHnn+a1hMeHY5cHj6Vif+I1i5E9I2nyttmP9SnGutVLibpCYJRT
+tugE3Wzs6eSZ4Yc/fMb19ZJnLEWF4zFANq6SLVl8M/eFHrazp7WjDRHGePzeQ5j
Ac7V7Rkpngxc1HoHQAYpRZ8wQLB0AjYe2WdB5npxMOBlQ7Jy+nWCVM13hEL0RM94
j7O40COFq+xvTxvnpL4bYzmKfaN6UAtGGWlzyYwVitaDJTkwLcX/et+gCPrgSc5D
bysLGcmLrlGCLk+1ud4i2b3du5N7u+gT3Iab8qC8U8PUai/W1BpoESOkQ7ZqT2+g
IIxpMIZt98z7DC0Sj6TLYEFVA5D4h2v88qI6b+dM5GVlNZF13WFg5Ib0AIzfOZkO
Acp7tpGTGxiKXM9iK4+cn35CukyVs77NZygeQs+DQaCtQjSlJ7/+7FtKxW4tZGBv
Wy1Hv8roldJ7RMZVII7u
=x5TQ
-----END PGP SIGNATURE-----