-----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-----
