-----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-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.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
 9905ea846871f1d60fff5333bb46750e91ec20f2 16306 coq_8.3.pl4+dfsg-2.debian.tar.gz
Checksums-Sha256: 
 ebb517485af17302df9d76c7b7fd2257bf792352030f0b919638ad4515975bed 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 04c15327ca6d4e4cadba908d0d075f5030d82d9c9c9f7efe5bbb04187f651a4e 16306 coq_8.3.pl4+dfsg-2.debian.tar.gz
Files: 
 8ac619e898d046d90cd0b7b821cbeeb5 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 34f50c26371adcf32136217b3da1d333 16306 coq_8.3.pl4+dfsg-2.debian.tar.gz

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

iQIcBAEBCgAGBQJPzvUZAAoJEHhT2k1JiBrTFzYP/2eMB33RhRSh1tTKaxK/bmH5
A8wroVdmvb78PnQWoKnayPuyIbgo+Va6YnoFRwt+t4oo8xtf4CJzZoo8lY7Tc7DZ
SSd5utCfZojQZ00hx1lvVDknGevZExidb/9iBQTuxzhseChmTBUMkf+woGXoKm57
jIw6JzKl+AzqjWXislm/HCkXpWSCt2pVhyCZd+DiXCVw2grvq7v3XDbl1FMKvKUt
Gci4722/FvVVRe7TwBsSSxmk9IdGKMPJDZ7KJpTWn3zVpyX4789W19TRTzbm0iUF
mg51IZ6JPG7b/tXwPOB0HStgGOZ9zU2K/nNF0iKaTsiVR1MWJaWVuzbRpvJ4VfGY
N4YvGkfjO+JMtjZbJMIjRvnIompwi30Xd6jq3MJ5SzLJdiaEztSDIILpu9ar9bZ5
huvOfWhsBFskeECMYNTuoZeeLK1fGLRUFfi4ZsYin6NtQT7MWu+rPM8LtEz31C/g
nexrWlE1t0OjrkzKn9mQYo706hDES4TqbOTEty5A9uRHSpiNxsLW1FNAJBVpvBz+
s/OO9SoEsz4nphFiBF25kqooalCAGSOOUUDvxv28AAKB9SsnCJblnZP/AgS8DOjl
QzL4rNpbj1k1/UB40SZpMlv7pf3r++HDhp7TY97M6ufKLxD5FgkTAR5l4S8T86G7
K5X8jIKoyDdsUyC5TjGL
=RPjT
-----END PGP SIGNATURE-----