Accepted:

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

Format: 1.8
Date: Tue, 08 Feb 2022 17:10:12 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
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: 543548 1003539
Changes:
coq-doc (8.15.0-1) unstable; urgency=medium
.
* Switch from debian/compat to depend on debhelper-compat
(and level 13).
* Bump standards-version to 4.6.0.
* Declare d/rules doesn't require root.
* Simplify d/rules.
* Rewrite d/watch following the main coq package.
* Package new upstream (closes: #1003539).
* No more fac, rectutorial or tutorial (closes: #543548).
* Add myself to uploaders.
Checksums-Sha1:
1d17110788da7bf679df61bc2120f0c393aa0f91 2392 coq-doc_8.15.0-1.dsc
8382e4f5c16bcd197c30d6cb58210b4d1550057c 7215106 coq-doc_8.15.0.orig.tar.gz
3d40bca60c41e21909779777e4846b5973b1e1f3 7480 coq-doc_8.15.0-1.debian.tar.xz
dd6f983c454e4b430a0ba47043ef544c8059db58 1419784 coq-doc-html_8.15.0-1_all.deb
475f9062ca871be04be2cc4e3221664abbb6150c 4064784 coq-doc-pdf_8.15.0-1_all.deb
3b4918bf0d99550c63ff1077b7cf3b761d49dd27 6428 coq-doc_8.15.0-1_all.deb
2041143c88c7acd95c9c10e55805269799f8065d 12762 coq-doc_8.15.0-1_amd64.buildinfo
Checksums-Sha256:
de2a523a3d2a2672bfd7332d00a87f0dc40f223a4686d53947f6d1f7edf086e6 2392 coq-doc_8.15.0-1.dsc
73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3 7215106 coq-doc_8.15.0.orig.tar.gz
da91a3992e303b5de098a41c3f29222be867e02eb5fe1dd196fdaa72cada2db8 7480 coq-doc_8.15.0-1.debian.tar.xz
57e1ac80b331aa2d896aaca64bd18f378843330bc6ff6114c9b6237ccc516f71 1419784 coq-doc-html_8.15.0-1_all.deb
3f45400d97ef2836e0f79c05d2a0e1f118d288f5505bd035aca015a57ff52920 4064784 coq-doc-pdf_8.15.0-1_all.deb
a89e086c3671fe93d442845de61fe9ca0dd0c06b8eac4202ecc70e52dea97124 6428 coq-doc_8.15.0-1_all.deb
e39e50ba703c15a1a887e25a26d4b3b78106b2e4fb21cc79f037d8340f62803f 12762 coq-doc_8.15.0-1_amd64.buildinfo
Files:
5ebccbd9fb2bc55d085bf0dab0db08f3 2392 non-free/doc optional coq-doc_8.15.0-1.dsc
cfa91d270e013b0ebe49120c2101d010 7215106 non-free/doc optional coq-doc_8.15.0.orig.tar.gz
11d21da11ffe765db95f5e5a5648702c 7480 non-free/doc optional coq-doc_8.15.0-1.debian.tar.xz
e87233a6f89909aca78389c6e761844f 1419784 non-free/doc optional coq-doc-html_8.15.0-1_all.deb
4845e8ebd58561b247f1d7e84b4ed608 4064784 non-free/doc optional coq-doc-pdf_8.15.0-1_all.deb
fc9085c08486dd7ac4969b67afe8aaaa 6428 non-free/doc optional coq-doc_8.15.0-1_all.deb
397e65984cc5cc2a02e9737a45836da5 12762 non-free/doc optional coq-doc_8.15.0-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmICmGgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR5igQAIxIyrJCD5aAs2g38xB3/uTD1MOx/G3B qwZx+twPS1GilZSL9ZNubpfFZWopBIl+Iqtqq8ijT99oe2VtdjLTNcecQzKGhFL/ pgxQCx4CDVplGK7LU96dq8b7DMPb7yJfFl3tRDVcv1bkUsKhVDE1HkxaJUOTv/yw KIP14GgMKCEiZ8eEIxMAmktGxcWWrF21liXbGzmnvjd8wsYZO2tmT9TmCjC15kBt lRASn97qcDGNy3Qt2047PRVJOe6kXcmXtrnrpE44yEqY0PSluAikyrWamkz54u2C bWhUAzYoB/N0fYU6A9i2scGwd4K0PBqNmtB+AbjwumpI8sg0SQgSzRzlbW/MN0FN jEq1pJ4b5i4jLzyOu8YIaLs8Wayq+JeLqWpN6oa/FjXY03vI0Nqt1dvCF8rmFEjh F+o568lyHjw9gpblbeila5mtV8fJvQ1WIMnTQbGVio5MH620Fv76rH/hcxgFwiiE ACw8r9O+najQFIWx9Qa+eoJLMvvfJj7sC6PYxwHYkIvMtdBXeTmDB4k6yaeOaJiU QIrbbm5pureoIQBcNk9LumUtq4VFGy/SvnX1N/KDCZk5g8QUgFKG9J+SmeqMo6fs FYor3eBBI5WCcqeLm5a2oj8SD9k4FuivTn+xQBdgSGj57bbBWOvQ4LerFO7Dm1lc
iaikWLEFoqW2
=x5uf
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)