Accepted coq-doc 9.2.0-1 (source all) into unstable

Debian FTP Masters <[email protected]> Mon, 03 Aug 2026 14:30:49 +0000
Newsgroups	gmane.linux.debian.devel.changes.unstable
Message-ID	<[email protected]>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 03 Aug 2026 15:40:34 +0200
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 9.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
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: 1143293
Changes:
 coq-doc (9.2.0-1) unstable; urgency=medium
 .
   * Rewrite d/watch.
   * New upstream release (Closes: #1143293).
   * Bump standards-version to 4.7.4.
   * Try to avoid privacy breaches.
Checksums-Sha1:
 1011d8a898c8884c4736735f95065d104f0c8bf8 2565 coq-doc_9.2.0-1.dsc
 4af9591d282f600ca5afe27bf5d4acb19f823fd5 6559931 coq-doc_9.2.0.orig.tar.gz
 906b747d80323e71d4c5f2ab979a90c304dad835 8620 coq-doc_9.2.0-1.debian.tar.xz
 ce2ecf91cde5c606a2801c1b35a3a93573b124eb 1910192 coq-doc-html_9.2.0-1_all.deb
 93e969cc05d12282c6e32bfe7758b17c8cdfc34a 5681408 coq-doc-pdf_9.2.0-1_all.deb
 036e6b08fe2f5de47fc5b27e36fb0760d9a53b9c 4920 coq-doc_9.2.0-1_all.deb
 12598799aecd9d7e5b6543979644ca809447fc16 13660 coq-doc_9.2.0-1_amd64.buildinfo
Checksums-Sha256:
 c9c41500cf54f92f072c1aae456ac49ab1f4463d21c92febdecaf64f4ba2dfa0 2565 coq-doc_9.2.0-1.dsc
 a45280ab4fbaac7540b136a6b073b4a6db15739ec1e149bded43fa6f4fc25f20 6559931 coq-doc_9.2.0.orig.tar.gz
 8a8bbfcce372bafe0223a2d2c08fc94cc291e0257ed4c2770dbe7bf7898bd27a 8620 coq-doc_9.2.0-1.debian.tar.xz
 52e5ee7f2039dd25962727ee1e36ed80677c0256bd48c233873d220b012d3a48 1910192 coq-doc-html_9.2.0-1_all.deb
 9c67da38c365952bc533fc7fde46941b42162deefc7e2f7dde86c913a5cfc9a2 5681408 coq-doc-pdf_9.2.0-1_all.deb
 8a6cda1fcaf3bf6283a5b4996dcf6472f5b4580bf7941d1c6ff7f5d7ccf33a18 4920 coq-doc_9.2.0-1_all.deb
 36f2964900769e4f775840890588e6ca88157c869f1363975252d0e9b6284abf 13660 coq-doc_9.2.0-1_amd64.buildinfo
Files:
 a360f15f3cf0ceb9fa5ec9855acccbb1 2565 non-free/doc optional coq-doc_9.2.0-1.dsc
 de041a7ef5baad224c7594d03716acf3 6559931 non-free/doc optional coq-doc_9.2.0.orig.tar.gz
 7764f039e8953c1778e71cc7ed40c30d 8620 non-free/doc optional coq-doc_9.2.0-1.debian.tar.xz
 4449ff4e8b4ee61fe05b5ba3b1c55323 1910192 non-free/doc optional coq-doc-html_9.2.0-1_all.deb
 6fdc818a4096935cacd7f84e7a8ee27e 5681408 non-free/doc optional coq-doc-pdf_9.2.0-1_all.deb
 96affec0a6512b139eedc05390790ba5 4920 non-free/doc optional coq-doc_9.2.0-1_all.deb
 dace5f74705e85bcf05254f05d161a43 13660 non-free/doc optional coq-doc_9.2.0-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwnOkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd9VD/4u0K5eFZVMA9ouCDiJsFUD
hwW63GBGRYnXO/VCxdc3izfLR5BgDzlCCAX/TxFLUl6rjKGhUhxgzE32wqTY2Mlw
0+J0bIfblBrD1WKZy12wIRBWA9FH9BUJaR1OxcBPKphkeh+Ak38/8hinl3oTM7p5
abDvNWSP9M2BwNUsb8xQLo22QXlO97qkhwDHf8wc336Kfrh4aYiNOW2x1v4QKHWZ
YLHYhMEPNoektU6CcVQtyOp6RVnKrMY6pPIPPBHPnuc269Bmev63J8I3nE3sUkin
uqnT984TJ1b24DiVTweHfP0VNUe5vReONkvx4ONDhi4RhvBULeMqcybCDBIy42v4
HKRza0D3Di8rWZ2r2E9ndKlLmmq3WK1v8dZFAWngE8Jzd+bBB6MnbmqI4TCLFyni
VICb5l9ouxlLa/x+QOm6HmxKaYCMEFPQy4uyGXREmXWufhTuS19QV//d6jhNbzJW
bYRC0W4OTSaIytalTa/bMecXJfqg3VI0xhAjy+7BNIFfE50jNmGgTUmLlQ+RXcK1
PdlzxcGc5bGoXjQz316CDBvSCSvLFW4kbDRn7lnviJ3OJVuisVMQ6IMm4LXjnn2P
R1yqB6Gw1xO+BfcsIr6O9nTjJ5xiCm7zgcdS8GXdtVyrxoEpKlIwXjysDyXoDPkE
a0/DoHVISs7qgm6l8A+kZg==
=XY02
-----END PGP SIGNATURE-----
signature.asc (application/pgp-signature, 228 B)