Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 09 Dec 2022 21:55:15 +0100
Source: coq-doc
Architecture: source
Version: 8.16.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.16.1-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
57ecb55ffc200870250d7e9b552709e695544e9f 2626 coq-doc_8.16.1-1.dsc
970018779156e04da3b7fa1817a9ebac88de6cf7 7401345 coq-doc_8.16.1.orig.tar.gz
03ca68e543de5af607bcd3166caed6f6349d5d02 7820 coq-doc_8.16.1-1.debian.tar.xz
1f33621e48be0564222a6660ddbb822742d71f52 8228 coq-doc_8.16.1-1_source.buildinfo
Checksums-Sha256:
cf9fc6581ecab7e43342467ac8d58ef6c928bc51f50be9fa2092e3a4086c68b4 2626 coq-doc_8.16.1-1.dsc
583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b 7401345 coq-doc_8.16.1.orig.tar.gz
9452d2c8da75fbd7bea82f5f02ec85e4de9f2e5e8d50aeb376569dae5bcc6dd5 7820 coq-doc_8.16.1-1.debian.tar.xz
cf88d9b98b5bdd1fe47f98033bf0468a65eeb506c341e1cc934d1636548e24a6 8228 coq-doc_8.16.1-1_source.buildinfo
Files:
ce238b12fd141be1e8b53983ca626775 2626 non-free/doc optional coq-doc_8.16.1-1.dsc
4d384dbf8979c3a123d732eac4e261b0 7401345 non-free/doc optional coq-doc_8.16.1.orig.tar.gz
35d9605162e8a37b41a5aae3d8947b1b 7820 non-free/doc optional coq-doc_8.16.1-1.debian.tar.xz
3f71ea9b1ee13c54ae71718be19c5cdd 8228 non-free/doc optional coq-doc_8.16.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOToPESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbn4P/RC9/cwPNm58V9+Qh2618MWVvvuoZ7bx O2dw7wWhHFQD7K2yNKLKOntoaPc2TvAbGFu7B2dm3ZujWMcR3LwxHENSq0HLiwrf IlUyQGyChQBIwI5RENXRFaZbAC58zDNbqbcyCcrh+I63liHNTVRbWZhpR830tzzE BbVnuAjiw2cuXxFh+qijBpxxDZsUaQKL1ZmPCU5i3kTMwxq2vicPhTi46USJesEX wbKkAvpwEP9bYSM4JPfjwP9AiGL5/oHP0EmpQ/vCWLIsZrLjudr1qpiQT2I7JBBs txq4BVu1nqf2cJzfyQzZBiFZ4+day9+WuVqnnxmndO3Ed8hfFIdL/OCkLze3BEmN tWjQ/NiaJ3MvdP3X/rfGkYk+xMgRraLkY5aVSOagQu9eFsBDi007EEwiE54tFAFP MXyboZIA/0ow83nNdAHUqG4Ujf5Tl6RSumUbfPE0sC4F0mEkHJUvabyBvHaR8o34 ymQD1jRGxu0nvwr+sHQTryc1+pNPgT28GWYDqvCN8GDtFZzshEXTNRVav0PO1DYR 0j6FRVa8WqSM2v/U82IRWdGl5Dx62OrGdlf+stwWftKKwfOxc1gd8snCOCNf2Hlj Qpnza3pK8wKbmms0BdWcSZYUEdqyjQxRFc87OW31f9iSxy8OYv3SURNoJlgV/zfD
GxZVByjCaGmr
=05TQ
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)