-----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.2pl1-1 Maintainer: Debian OCaml Maintainers Uploaders: Samuel Mimram , Stéphane Glondu Homepage: http://coq.inria.fr/ Standards-Version: 3.8.3 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git Build-Depends: debhelper (>= 7.0.50~) Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), camlp5, ocaml-nox Checksums-Sha1: 4aed3302adc2edbaa5d97984512c1c13014bd649 3600620 coq-doc_8.2pl1.orig.tar.gz 16868057fdc2cdb78625995588cae2caae088ac1 8584 coq-doc_8.2pl1-1.debian.tar.gz Checksums-Sha256: 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c 3600620 coq-doc_8.2pl1.orig.tar.gz f51917807ebdd4d95a5ff53500b1877a6f9882e9b0467b72d722a095496925ca 8584 coq-doc_8.2pl1-1.debian.tar.gz Files: 36eed48bc63ada8abf27f96eb126906c 3600620 coq-doc_8.2pl1.orig.tar.gz 6691df945a9bed7b78e0401fd05554f5 8584 coq-doc_8.2pl1-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJLRl6KAAoJEHhT2k1JiBrT310QAK77A6CHQYewoEp95EGg8tAB oSkJQjgW328FTHclsk9TwarlU4/m+n40ReC/Cm1+479YvJOKX4AC+dA1QQRVK5WO BAQ0iJxdVGb3wMrSvfv5zvBzfnGPD8WsTrqfI1J8HQFtPS+oyR+2cps/jWguFQGI hXuQZA79aB/l/1kXZn3yWnY0s1Zb6CgiQYzUh1Xq5qsN5enkr0v/EZbr25YNfkq+ YrMNjIQzyw+NDtZkouf/FNGfERhuTl0Yya9w1nA0CeOV2PYQCbaPip9s7K/boPco yB2WKyQzjDc8deQeZ23iMppANNL0KiMtWwkjbFsZUQ/Njgc5Mnxye19boXe/qXl+ ma7fUL6zBz4s1QfoAM5AfVqj/OnV/pdIG77l1720cn/2QEqh4eGNhvqgumYgtwpW mnwxPMQb3kv3s/d6Zv9c/J/x+AcWFfmw9Wf8Ie1FUUX0S6aOh8RUVBG+EjwQsGzd p2q1ivcsEoLj/6vywxuUJz8JXOMw2hjS6Dt5Lr/d4xo2hwDtC6hc6zE1KToeLzL3 FG2JOgRCtQQj273Xz/Dj0tu24/WFgDnKcoJzhc1k+hoNG13QPEyVFDMn+Uzfs91t pOiEl+PF6rEeP7RLCwIZGyIpQlQaLdbA7iC75KGi2qsJiZ22WobEilV2ZbMmDbr0 HIjcvh6auL9VswT+x3oF =3uHo -----END PGP SIGNATURE-----