Accepted:

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

Format: 1.8
Date: Thu, 16 Jun 2022 07:59:09 +0200
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.2-2
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
Changes:
coq-doc (8.15.2-2) unstable; urgency=medium
.
* Declare the package can be autobuilt.
Checksums-Sha1:
7f773f464816d0ce29463545224c8a87657a7b7f 2580 coq-doc_8.15.2-2.dsc
310d8f7aa998e15dcc09fddcfc7b749fe7d207d2 8220 coq-doc_8.15.2-2.debian.tar.xz
8f7c3291923a4af3dcde3669c2dacd17c2bfbf3e 1422416 coq-doc-html_8.15.2-2_all.deb
dd0b3ab1dc5f11c979dffbede798948eab96eaac 4085408 coq-doc-pdf_8.15.2-2_all.deb
b1cb7e8fd166b4c4c271b21ee17e2026967dbd47 6576 coq-doc_8.15.2-2_all.deb
5a14e26479ab771c10ba37cb74521e7931dd1e4b 13005 coq-doc_8.15.2-2_amd64.buildinfo
Checksums-Sha256:
5073a8c8a988ccca692ce84cceca8909bea7b498e09ac23a64d16d3d4668dfad 2580 coq-doc_8.15.2-2.dsc
a47a7785308f429275d73f49a5ae27d604f23f2c89c6db29c1e0953d503b3caf 8220 coq-doc_8.15.2-2.debian.tar.xz
7f9bdd9887b0f4ab5ae28c4a427d6166f8bc6233ce3502d8ebf1f98bcc8da41e 1422416 coq-doc-html_8.15.2-2_all.deb
fef9bcc88a7ecb585a838d8c644c0d9a77e4db64373edf4aa1f867b723d781da 4085408 coq-doc-pdf_8.15.2-2_all.deb
f61561253bc5f86ec6349f319460f47435cb8097b5dbaf04b79aa27bebce3630 6576 coq-doc_8.15.2-2_all.deb
9859a1bb9fcf9d158005385930c15b3163617a5ec39eba516220d70a1f5e0eb7 13005 coq-doc_8.15.2-2_amd64.buildinfo
Files:
0861337a9e7a505828f3f982ada0a076 2580 non-free/doc optional coq-doc_8.15.2-2.dsc
6325e1df9826b304a955a96557102447 8220 non-free/doc optional coq-doc_8.15.2-2.debian.tar.xz
840ed2790566fa44c53257383c9c7f20 1422416 non-free/doc optional coq-doc-html_8.15.2-2_all.deb
9e5752093c1bafaaa6d15f6c805de8da 4085408 non-free/doc optional coq-doc-pdf_8.15.2-2_all.deb
17624d7cea80eaaad27f03e2f9fd71fe 6576 non-free/doc optional coq-doc_8.15.2-2_all.deb
a2d2a642e3122fa965f386e684fd27b1 13005 non-free/doc optional coq-doc_8.15.2-2_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqyKISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRvlQP/31+RmDcpU6AwUEy8f/DsKGYmgUqxEM4 jx9TKULeXHvVuB018Dw8DK651fXB7aygPWYPzSix3fakSTKQ0o7fK5VUfQBfXzxp kpPzih4eNT50asZPrFl7987gp7bjqW+21aBWqXrxfQsie5vmNT4kddsbIbyGNJma nYSzD3W5kFD/q8rYxlekfv7JHhE1bq9uOiX6V1pfg5WDHUH/6oqZLYDrNAhMobll QWHpX42/lnSzhjTUsVNzRzFrwh80sMGdnJYpCF93RgDlo2at8U0Pfnb7YqnrQ2wa eHJ0WQGtUs2lfM1w4TbaQ7sPKK8s3pmt/DaDyir1cYwpeiaMAgQoAB52RytXLJZX b4/3x1jhMUObo9TQjWIdLiy9/PYRfYFkA1Zy9JlyBPIPvyqvVyddNOgcHNbW0ggS mJx4Vx0SOc7j/iIqx83lzgFHAAiTIUPUVZnE4ra3DDHq9a63VgdO84lMCUzf2OUJ NcAnoPp3vw3rIxEsAM94CwSdqCIvzgztQRQrN8OxIgs+JVfeNtznKZsocF4yEh1C 2/cdmti6Wc2ADYWP7J6aEKuHAIcXS615hnVTp85WASCso2jBA7SqV3EPkQEl/nc6 0V+L/FvB7wnv0pud0bOlRmf0xKOVz7sMMaPMdsnh5Qlwaz0piIR2TgcDmlh5+oYv
PKavw1/PK1xJ
=SDta
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.

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