Accepted coq-doc 8.6-1 (source all) into unstable
-----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-----