Accepted coq-unicoq 1.6-8.18-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unicoq 1.6-8.18-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:36:23 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-unicoq_1.6-8.18-1_source.changes
- Debian-source: coq-unicoq
- Debian-suite: unstable
- Debian-version: 1.6-8.18-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=Yn55mCFW3H4qp4v3xL1vo2QtR8zELsx133xyjyL22XA=; b=FN5mixhdkZrpZTFwas+eYrqdfR rb1uyaU0scbbtbQREpz7iNcKvLTpXVBjluM7hpRllaV+fjvZKmRBxw5GhAWROZE1XQ1y9QtMK9oSl r46hxGY9yKmoMr0ZsZRKCwSVykfT5xay3FhIwLp64YxAs2wFM3MtYfexGEDqN7M8RHU88wtnLmz6Y JMfAlbShZIGMndOjebuJWa5WFJFmK+IK4bVn4r3eCIfWwdlIpcv4CAvuvlt5hvzYP73FM13Fc47Jc bd3VFn7/cs671zrb4HpLxqsRDOVP575FSknRQi+9yerxmp8h4TIPvMYIzgqcQgZqHgXvPjBrV9Ajs ECqeuZ8Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGctD-00DSsR-PE@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----