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

Format: 3.0 (quilt)
Source: coq-doc
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Architecture: all
Version: 8.4pl4-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-doc.git
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), camlp5, ocaml-nox
Package-List:
 coq-doc deb non-free/doc optional arch=all
 coq-doc-html deb non-free/doc optional arch=all
 coq-doc-pdf deb non-free/doc optional arch=all
Checksums-Sha1:
 4dfc3a1ae65f5c480ddc4387d21549a526183e00 4067355 coq-doc_8.4pl4.orig.tar.gz
 12545ca16b2215ac030c92419e8a3433bc6d2367 8084 coq-doc_8.4pl4-1.debian.tar.xz
Checksums-Sha256:
 06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01 4067355 coq-doc_8.4pl4.orig.tar.gz
 253f9284670aeea4e2dc3d0e77a39cea1170f15adc4f6b84f607c2e295a92237 8084 coq-doc_8.4pl4-1.debian.tar.xz
Files:
 6a9f61cf0ece644b170f722fbc8cf2a1 4067355 coq-doc_8.4pl4.orig.tar.gz
 0cb80d400e999cb25ea1f3dffbea5e4c 8084 coq-doc_8.4pl4-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJT8K5pAAoJEHhT2k1JiBrTQ3UQAKaB4K9h54TuVnQpm5XyWKvn
64zIG9/e+dgGk3Awr09GsRtP2rcQ+AKe5Aau0cm5dBdqO+fgIUOVhQuhSGcV57F+
Pv0SD9EBIidAa7v+i/xk86OofTNq7e15Ufz2fd1ZwhfA2hqRvo45phUT97KJZ/qs
Ph8s+QD7OJ+sC7w11aNZfiyBQG6Tx4RgrG/L/BbxQHT9TzqvzZRPOe1bQYNaKzfN
be0k4qiOcsPdP1s+iAGPk14MhE9MlZBmtbfHg8uK6B6cyaS1gw3GDyuKIYi1nMYN
wmOsJ1sOepvGuCFu3IZHW1lgbff7vUcEc02A5r9h6QRQz90/6Rtqj31VHlkmhRDr
a9ligaVW4Y6tlzxncSS9qTx3cVV1cyA7jhGMjjAHR+T67yRK4yrQfvx0/S2+BFBh
RHL4WhjaUuziuqpcxjs9HudOD6yKGzGgB0J/neZ19ga7PJGWg+/lwhpQ3vi+DLsU
+WnA3DO7HhP/s1nERRP4BVcCIfk3ru0gkPOw3xu/i9a/Yknky9uEpHKs3YHavnTf
4mjIgMb/HZ9SS1Cd1/AckSAhwHONj206C92hKvp7NO/b/4q2HbYNCleSaMmDO8oZ
ZtLz2LqBHV00NE5exkByd+gjRdVe/ykE0ALZHzHjy1yAU/rw2hx+k/Cx+PE3J9jk
6dFV/GH1Kv9eN0ux+zey
=o4G5
-----END PGP SIGNATURE-----