Accepted:

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

Format: 1.8
Date: Tue, 22 Feb 2022 14:02:25 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.0-3
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: 1005920
Changes:
coq-doc (8.15.0-3) unstable; urgency=medium
.
* Fix b-deps again (Closes: #1005920).
Checksums-Sha1:
9a4863315a8588f3dc42308f6861794fc1640b66 2554 coq-doc_8.15.0-3.dsc
c988c5eab24607a2193eb56b16c7b515002e6e1b 7600 coq-doc_8.15.0-3.debian.tar.xz
deb82347022764be625cf88532db3ff83a3b9082 1419864 coq-doc-html_8.15.0-3_all.deb
b5a6a9067bca7917cd677f1ed64c210697a3c76f 4065372 coq-doc-pdf_8.15.0-3_all.deb
122b53266462daac288102a04f909b8e046370b0 6484 coq-doc_8.15.0-3_all.deb
508194bda0f821298477ce33cc0e97aef73fd299 13368 coq-doc_8.15.0-3_amd64.buildinfo
Checksums-Sha256:
738df330b2eeb0b1cba3e8c7852253cfab2ca595b8376e4e420578df9afd43b7 2554 coq-doc_8.15.0-3.dsc
215ec135c804ec5fe7788c56efca77378fbfc92cee61f8ea9e68f58576472fb9 7600 coq-doc_8.15.0-3.debian.tar.xz
9b5f7e65f4b0aa0f633e1dbe3350db4eb49640123be9d75534a760fd5f1e216e 1419864 coq-doc-html_8.15.0-3_all.deb
e342d7620a4b1f6545c7ba1b8a2684ce0f1dd7d5b38bbde11913b12598a51554 4065372 coq-doc-pdf_8.15.0-3_all.deb
e7ef103d650e7637a7ddca9dd1da2d777d237f6346f9cb9c75d8834c91387034 6484 coq-doc_8.15.0-3_all.deb
22cddc8a128520b93dcb2615c3839599c8c31cb58d10bee45d7d3a52c315fa16 13368 coq-doc_8.15.0-3_amd64.buildinfo
Files:
0186ed69112aafb5ec43f2c4e144ded0 2554 non-free/doc optional coq-doc_8.15.0-3.dsc
ecbbf32e0a19e11ddbf511c83022f00a 7600 non-free/doc optional coq-doc_8.15.0-3.debian.tar.xz
56470b77a3d65025fb9e555f8bdbb1bf 1419864 non-free/doc optional coq-doc-html_8.15.0-3_all.deb
c8fd7ccc2d2c15a5a2b51f95e074af44 4065372 non-free/doc optional coq-doc-pdf_8.15.0-3_all.deb
3b705342b7a1ad64b715075125407091 6484 non-free/doc optional coq-doc_8.15.0-3_all.deb
e8fe0330b68f92908bf3bbe651d8e662 13368 non-free/doc optional coq-doc_8.15.0-3_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIU4M8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR8+sP+QGzmDKA85xka2wmT4s4mtKpJEoo9AHZ YVMLVITenT45vvRgVPMNl5i4Sofk+/BG55u7noFyyCGF+hzkxTApqEnzEdeMfuJF DkTACmoHhayznm++X2WZ805Q4xELmk5uEee7X44y/lyhhjqbum5OcnVfPkXHnFHe rLLmVtkeymLH9wgUl311NeC8eRtraA5wDaoupvJcHYm45oxe39KKdJrs8O/98o+9 ezOSp4WfqLzVY380EkDg+fRcjtICTjF8CprlHRW0T9akFqkxaTD3gMrq8GimgkaY itQAYxvgLsYqVYZnvVJo64ZVWONUVuNOxrdkDBtJ/dcwjc//329mlIPL7LyLpOaX YJK2Attj64mdrtlRP8N0UvvNwgVdlFdrKdFJtyLcKogXz64A+WBOkH7FUI1cyQws +7J6d0RmV3wLyxFyuNuiZi+2PEYfoRKNet/zBkYw7W9ZLTbV3EYIXIdRVEIIoJst Qu/f06vteaEthbDjIaY2lmGDzj6EZNhQpDZQZL43F4HWpjm8qstIoaGxRPgb2QWz Ndtq5F62jk9Ohu/sBHdQSPNfOg1GNdRTXfKyNfEcctCq+BHdAHKTpDqH3JRo9VeQ 00i5N4iNGUMliAsLZs7jCc9ch0VUaNTTjJrrXbS5RbOg3GQjNVPLCZy5lULubECX
6Gq+KnI82y1p
=/sKs
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.

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