Accepted:

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

Format: 1.8
Date: Thu, 17 Feb 2022 13:27:49 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.0-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
Closes: 1005920
Changes:
coq-doc (8.15.0-2) unstable; urgency=medium
.
* Fix b-deps (Closes: #1005920).
Checksums-Sha1:
a6169cf6126ce3aba90a37eb28f5df2927c7f440 2412 coq-doc_8.15.0-2.dsc
e3ec5dff4c5da4d167042b86ff4ef9c6b90a9a99 7528 coq-doc_8.15.0-2.debian.tar.xz
e84e1ddbee8aba91a64878b5dee6212b4134154d 1419852 coq-doc-html_8.15.0-2_all.deb
70fb01b1ecc84ee6f8597bada1a0ae178e3f3d1a 4065332 coq-doc-pdf_8.15.0-2_all.deb
dc4d4f8178f042e4d1ae606d35b725232fd3e05d 6460 coq-doc_8.15.0-2_all.deb
ee7578798f59e51ba91aff82df77209f8ce914ae 12871 coq-doc_8.15.0-2_amd64.buildinfo
Checksums-Sha256:
9ae98adf9a39e01ae0174c7afd6fe482e50258fc8079d2f523f52275a7ba7d55 2412 coq-doc_8.15.0-2.dsc
fd7e69a1f6263198db9de91526da7dfd742498d23f4e017327b208b6b709f99c 7528 coq-doc_8.15.0-2.debian.tar.xz
da1c31dc796e9f211be0191db3e9b6bd56eb52d1e3ba3c4533c7d50a55204b66 1419852 coq-doc-html_8.15.0-2_all.deb
2742b205c8efa6b1952eff89d9813c872de4726c5d2e37cc6916c60e3e12aff0 4065332 coq-doc-pdf_8.15.0-2_all.deb
aa196a9ff2f2d36aedcd420299f65d7789ca3c6db5b3b45cd434b9f5dfebb18f 6460 coq-doc_8.15.0-2_all.deb
a30c97dfadfd4243015b786c38ee2692e01ce0f5f8cf6b9bd6c2171bc7fc34df 12871 coq-doc_8.15.0-2_amd64.buildinfo
Files:
0114fe6d91a6d83e42194953dc6efb0f 2412 non-free/doc optional coq-doc_8.15.0-2.dsc
b1f0886128ad7877bcb3ac8ace7f54e6 7528 non-free/doc optional coq-doc_8.15.0-2.debian.tar.xz
9c105fcfbcef15bd45e0be2fb8503eca 1419852 non-free/doc optional coq-doc-html_8.15.0-2_all.deb
585732218041735795ccb88cd3bc6174 4065332 non-free/doc optional coq-doc-pdf_8.15.0-2_all.deb
be64606018a6605d48fc615fccccf730 6460 non-free/doc optional coq-doc_8.15.0-2_all.deb
fa6523711b5cf0f76c50bf20a511bb02 12871 non-free/doc optional coq-doc_8.15.0-2_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIOQWMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRCdQP/jXOZFXN5auqbHzgcfrSBTN8B8lIgfGU v/QwlU4YNfYyYyi3LIBLu8XPzaHV9zfpoheWUOSCOZw0XezYmD0xqnyPKYbMJoTS ocqar2GbCcsSIzscYb9fZolLnIb7SDYPd4JiEZxL6wyhUgD8xvQyNRU6yGfk5Dow s2EDaIhE5SY8Hhqur70AEPDa/eMQ1pxvmtXEUAbkIXHYLCfYz3E9CuNctoG17Unn sBz6SviKFjafh0Jj2NCYKUwE2E+SHOHusBVZ5TWtHjuzRSvNFdSiA1k8reswvwqP R88LbA7NoFb3geXQd0KaUYuLFwi4qVQ9we19+3590o7rQu1Xm9ly9Fxqte0mO3ul xV+Bhef3JoEb/+Y/rj8EUI7GwjxS6M9oerMRvIYBG95VtDZnM39uKhnLmrKA77PE fbzt2Eg1cFn7eJc9qFSXwOll2yNm7nr0eXT/ZKJm/3KJsREcdR7ZlnUEhY89wZts d7/Oz5pb1pWAqHAQvo+vcdHcftrXNO/nbN8Xxo9l+/ikhfPr2TihY50KWRRNxus2 t+sWV04rD04m2xjqH8W4PGWtIt3dps29B8DOtT4cL6mARp/6W/0GEPtlN/6S4ReJ GpL3REvJHV8UJ40KOYWGdpwMuopg2RK2LqqH7nm5Fgi9vEGOZIk38KXQ2DrEixJ6
YHYXXu8856ZG
=Fy/p
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.

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