-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 05 Jul 2017 22:29:28 +0200 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.6-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Hendrik Tews <hendrik@askra.de> Description: coq-doc - documentation for Coq coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Closes: 864468 Changes: coq-doc (8.6-1) unstable; urgency=medium . * Team upload. * New upstream version 8.6 (Closes: #864468) * add myself to uploaders * bump standards version to 4.0.0 * fix build dependencies * changed Vcs fields to https * fixed missing axiom picture in FAQ * remove unterminated_string_literal patch (fixed upstream) * updated doc-base entries * added .gitignore in debian dir to ignore editor backups Checksums-Sha1: 81f0064acf31cad8e43a0b5a0a39be1d889b800d 2311 coq-doc_8.6-1.dsc 617a6f86d09dde0e409f3fa22268daf7be3f5bba 5538848 coq-doc_8.6.orig.tar.gz 89f25276ebed1b2a5cda46b3951a8bb2ed6eb3c9 8304 coq-doc_8.6-1.debian.tar.xz 8ac904d680e0ac36ce1d804eb207538c415526a1 548554 coq-doc-html_8.6-1_all.deb 4f2a7e83c90cc8c32980f3cbd9a1131870529094 2592376 coq-doc-pdf_8.6-1_all.deb 163aff2cf3c2a0edc00de2ccd87fc35995415b1c 63758 coq-doc_8.6-1_all.deb 5cf6b358ead2065e34c28d78e0c2d76765fcdf98 9486 coq-doc_8.6-1_amd64.buildinfo Checksums-Sha256: 891b5c950b816da588e1c79fcff3c2d2ec6edfecdd67941764f19ca71b9f6dca 2311 coq-doc_8.6-1.dsc 6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df 5538848 coq-doc_8.6.orig.tar.gz 23e6aa6301217856b5502c80ad42e50e6a8d71fc82e79ba26f0f22b627bd03b6 8304 coq-doc_8.6-1.debian.tar.xz 0ed05f70217fd734d413cf7ae4dc0497ba466353305f46a2c803168485b64ee3 548554 coq-doc-html_8.6-1_all.deb 327be56c7fce4cc98dff30a5cf05a84b9b2698d213eea0bb0e8b2f5e581d4abd 2592376 coq-doc-pdf_8.6-1_all.deb 1f99c276671fafd5d4617d1a53495c97b4f25acfa07add51337579db29a8f011 63758 coq-doc_8.6-1_all.deb f44324b36b3edd4d7f0d8c9c60e462a4dd06f2d9e374918212af6592a31ad33c 9486 coq-doc_8.6-1_amd64.buildinfo Files: 234813f057f23a461c5c50684a867a18 2311 non-free/doc optional coq-doc_8.6-1.dsc e7f1704b85d648468160abe03338f1bd 5538848 non-free/doc optional coq-doc_8.6.orig.tar.gz b527d74b23bd463898245bd4a5cceab1 8304 non-free/doc optional coq-doc_8.6-1.debian.tar.xz 9632cc05fa4b726f40d931dd1350d0eb 548554 non-free/doc optional coq-doc-html_8.6-1_all.deb 338d9464cfd5b6725aa11d38bd5df5ae 2592376 non-free/doc optional coq-doc-pdf_8.6-1_all.deb 6dc4be592dfa4e4af0484fef809406b4 63758 non-free/doc optional coq-doc_8.6-1_all.deb b31097dd81f62b0f1c1ca90cabb6dd95 9486 non-free/doc optional coq-doc_8.6-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAllnTFcACgkQeFPaTUmI GtP46hAAnQ88nYRC0voNZJYAg5LUJdjpMNqVX96jBbqScDq50qFy+fJQfb9O7hr4 i326bzYSiMQe64lnTx+hK8wQjDFU7+nuruiKl6b/YF/U/MMC+Q7jxgTjHYpj5caz 23NHF1eOYzCheTXHMJaJTWV88AqJY1SCWfrLU2YQWmxnM0ier8T+VXfT2kwMWmQY i/QZuPL53eL2V8neh1ktgaR15zBfWaiwf1EoTXTZzkWbzUrI/rQkASTnk3OT6TrK SX6n0u1I2CoyhdfTUGdhRSNCuXSyu69WW93wMxE9wN1XxVz5yfrrsONVUPpPhh2S yozpvD0UpCCxRif+wSO4DUuldibARBVheI5D8E6fz3o956aBZ3cvsxUyLrlvDmvP Eq2enZ5z+YpqMDcI3+vuAS6h8yPSNoAIfmIyJJ4dYdEt9ASRWCJptq3k1skhS9kf LhVBEqgFDO6g2kHlavJ2TU7eH5hzuXKkWEcc1hou8f0b5X6t880nS/0GLm7KPeJN JwTR4Qy5QBoMOoit03+kvfCOnZ5+mgR/+ZkbCu57lSIdX+E6wjcOvu0YIt4VwYMd LEjeOkYy/MT+OmkqmNBhxhmUyfKaOzYPb4ZYsXd1QDLx8Qm1pgnCwXP0e12CZu41 1kT3JZZLhcD0RU3+ZJyfq57bPpR2i+zeIgVXiIo86AFIvhugHeg= =Mypz -----END PGP SIGNATURE-----