Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Mon, 15 Apr 2024 09:08:18 +0200
Source: coq-doc
Architecture: source
Version: 8.19.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-doc (8.19.1-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
20b2bb2ab5a8f7f4ae0c1114d4e019aa1c18ce0e 2560 coq-doc_8.19.1-1.dsc
c10750900544adabc9c6b5a1cbf5e908d1ace5c2 7675945 coq-doc_8.19.1.orig.tar.gz
ff60793332eaebfb6d5b97409cf8599b945e1a70 8080 coq-doc_8.19.1-1.debian.tar.xz
f0cf1196a31314042a659e7570e02586486e785d 8502 coq-doc_8.19.1-1_source.buildinfo
Checksums-Sha256:
c816cd5a7dfa70b07ee1f1fe661223b9f885a1f9459f4449c3c061eada4360b0 2560 coq-doc_8.19.1-1.dsc
1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674 7675945 coq-doc_8.19.1.orig.tar.gz
b6b54677eef0e3d406a2bf296f7c77b0b8b20a9e432a8f4990b3189f117c8769 8080 coq-doc_8.19.1-1.debian.tar.xz
4715ed82fceb6680de5d712cdb1f22d5dbf8b7a7fda44e5523b3b73f63c089ac 8502 coq-doc_8.19.1-1_source.buildinfo
Files:
92c7cd01f78050e54a8959cd45d893fb 2560 non-free/doc optional coq-doc_8.19.1-1.dsc
13d2793fc6413aac5168822313e4864e 7675945 non-free/doc optional coq-doc_8.19.1.orig.tar.gz
5c15462a3153fdc5a1eb3e3738c4bb16 8080 non-free/doc optional coq-doc_8.19.1-1.debian.tar.xz
658ccbf4253468438992391256e14109 8502 non-free/doc optional coq-doc_8.19.1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYc0qkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRlk8P/i3S62xaG+NYTgrSK9mlfcL3bZKSsRd9 plLv9XoYrE49dBVj9I4lwMkfVej3z2XzeLiw445cbNsO+H2FIVn6a6YyDIknmpD4 l8h6zksxVbIw5i+ltKlHZI4uM8rO3uGWBGOI3tGMgQt90alibew8dQwynvWQUY9S eysUfqzfDUit4OH6Cd7aVLzTDBwFsss21CItBYlLkC+08nkMwWi/bjxiUzV4QigL oA+VqmUrCzeOoj5Q/TZQX76k90xgyi+eSnsveYiy8lmCSrCztVTIhIkGIq9iQ3OU yqLEsUy8dOq9mSuV2YYaoHeA2vE5xZkIA2VWCsrcx3HOjs7we54QnOMVCtDen6Im pd2y0fdP7pp/GePraYPcDYWGYA3VIBfbIETRru+mxd0eY+KkBmrVVHI/JVCfDeY6 HxS2n7oACvq3fr/6HFuYRHUTA0d7dUIakKXGtBrkEKTPVjUcwc+qFKkRTybKWO2Q Kak5qMyjmfl36qa3xtSpAYgmLyL/LP+BX37Xb6iRijxTDn4kv2pb6IZdfI/gvxr2 LoHVbQ9bWsQqKo9KdghF3GKyeBA8Fau7lv0V0cjX0LABA+s7lFV6g7zwEOPc5vCE Hw3ofgEfSBRVec/peezz3PcntrsNalPU6j7fWFfpxtfifJg0eH1S9C+547ayInlF
/eVwYjRO7SwA
=MNYa
-----END PGP SIGNATURE-----


--==============97233475349504428=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiuxugAKCRCb9qggYcy5 IYcIAQCBRDJOmVs7hl2z24qL9JJb6717982c1r4ZJ/eSAfYSBgD/eu32m158/1HY mu7hb8YXgFX4YslLSWpxNb/JAL6IzAI=gzoQ
-----END PGP SIGNATURE-----

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