-----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.3.pl3+dfsg-1~bpo60+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.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)
Checksums-Sha1: 
 ea93417d91fbb9c1a04c9c9481a99e620e600c5e 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
 7180bfa186274c81b55f377b5cac356267174a4d 16475 coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
Checksums-Sha256: 
 4ea1d7dee8011c8b98a63cbd1c32e94a620437a81ca48abbd11363cb3bf927b8 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
 48d54ba1b29f43906ec85acbab7034d61eaeef94db6eb81550868302fcfb3c3d 16475 coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
Files: 
 5023e70c5c8a83200654f1f724a42cde 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
 4b8a25a33db22523e69ec0f5795830e4 16475 coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz

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

iQIcBAEBCgAGBQJPCWlPAAoJEHhT2k1JiBrTQgoQALt2XvTJHQjvwvdpcZIwzYar
teeHWsyp8BSC4LyMu2DXlvBamc3ccMuEhFluSkseZfBMy5/yudnkbkEfVepOjyv6
fMhBmc7zdU7YjF8cS+s7BjTuttCPHdcMFcvy9T6NepP/r0WNOFNQkv5SXoK2/pOc
cGziAyKLPXe+xTjgHm1HzOi1xD3DSPiQz6bLNyEwUcP64WmbSa3CBh7ylNRlqq6n
CUs3muoOw6EWkSW0a+3Oj2lzp/PJItjMEZZA+QHJuq3Q3ljQNybSeagv8/WfifY4
WkDh4EsUheA8a/ffeQGUpJtQZzkW7lo2JdurB6CSGTXYrML+MtjWB6ZFymAeiJZy
EPAmRiaTQhYEcJzwqWr4qimZUK2GR+Wn9P5Sh0Yk2tU4XuCDvrxqissmm/sZ2k4s
5Q25/P5NDpIALXYNQu/7+rkW1HWdi8iwKEvJYIrzzGkDpxye75RVd5+EqmMpAOiW
+DYj+gn8TdqywCKpIwnIDBLRWQlMYCsC/IQzw5ZYZzFwrZMwcgf8ViR3jqxIqRN8
Acovl0B3C5d8ENVLsXZxJ2G3KFcBQRbVt+5nPwNy2Mt22RiRWCkSuZ0V8vfIdZxR
V/3UbFgFCOi3BtPtaPTw+FLMWxbJPLai/V+/et0R6xMYvQXWlVcuES5rXkoPHBAL
Stgp1/Swo3WeON+ZEiU6
=i+w+
-----END PGP SIGNATURE-----