Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Thu, 21 Dec 2023 16:39:05 +0100
Source: coq-unicoq
Architecture: source
Version: 1.6-8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044763
Changes:
coq-unicoq (1.6-8.18-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044763).
* New upstream release.
Checksums-Sha1:
e11ed2d93e963872885b047d189b9bb1d0730bde 2094 coq-unicoq_1.6-8.18-1.dsc
fb0277f5527212e56f816561fc3f3a0b76e4ea97 593629 coq-unicoq_1.6-8.18.orig.tar.gz
08adf48b4e717febc8de834753e7b5fd82a01325 2588 coq-unicoq_1.6-8.18-1.debian.tar.xz
aa08905309d9811eab5f980165a90f3d05ecb0d6 7848 coq-unicoq_1.6-8.18-1_source.buildinfo
Checksums-Sha256:
bd35a39ce38e05c9c8aa09264c176d36c3f573e3a7f1976ef16601c185847cc9 2094 coq-unicoq_1.6-8.18-1.dsc
1823ab31382fca6e7d60437b02f02fb165298ce75897bbf8868ca8a7c6ce847a 593629 coq-unicoq_1.6-8.18.orig.tar.gz
b249a229eabf43599a18d87b0609df78ded9029d02d286d0f7179d70f6ef30a4 2588 coq-unicoq_1.6-8.18-1.debian.tar.xz
20c41fc02b0731f7ce3db92fa7c576f4e8f786c0ac98f4cea5742858eddb99fa 7848 coq-unicoq_1.6-8.18-1_source.buildinfo
Files:
c6951b1dba78ebb288f648f509d740b8 2094 ocaml optional coq-unicoq_1.6-8.18-1.dsc
408728377d894cb6125443ebed4ad9a8 593629 ocaml optional coq-unicoq_1.6-8.18.orig.tar.gz
53ada4d11d6470b391e81a86ab695787 2588 ocaml optional coq-unicoq_1.6-8.18-1.debian.tar.xz
15099c7c18c9d22600db6f9a5ae1937e 7848 ocaml optional coq-unicoq_1.6-8.18-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEXDcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR0VwP/iN3Yeotdm6tOV/8R+gXl9Mz5LXY39iN K4XidUYHZzx6Rv7lS8USE2GjK7EUHbcp6Od2A9wz3dWfVZyadlmZEM9BnfQ1hBb/ w6/yGOLYCFVpBiyV8lQfBiqzMBJ6ZkbtRgFmXQGiboIIEXBgqCdATBTDU43Dhpt0 syT0iEhjYDtQ050EInLjc4iWLXcVsS2HzL/QRLzaxVHB219CSmGa5FMkBEd9xVF3 by9ThU3/LbcxIQw4QsEs7X8VIcrXBiIcSDqi3SBFFIFMTbg3irDDevxTBJWZVQm0 mL7ZjuyQMz6MQrAVR8QcGxFhLhvl/Z0oQMj785X4/rU1syq7MkkKCKhBoL8JAJc7 6PjhCY/IaZoRF3qGmFUT4DuXW9IV+53qRqxb4jPXQycS3U9h1nuiR/SRGD36ZtK0 tIF7F4uFTdxVIXtf2+Qn4cdO5sbxKR3aObljSHP5+r9NBwm5QnRt+F/3l2WCBBIO tychCuh5s/3sUL7jQbdak3SdFsXAMKz0urx8FW1V6TxUpdG9uu+CzrFC7V0Analv u9tIqeNlItyzh15SqaqWinTbzsNej7UGhkSwWFhbFMqIoiVZ2ECkC7xptwj99WFF gv5bDWI72DE7ZjBoFeIIrbQR+xJQaOfhMIvqDzf2pEOU96rYklW+4b+soKsO++MF
ccV674AhrT+o
=SLa9
-----END PGP SIGNATURE-----

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