-----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 <jpuydt@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: 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-----
