Accepted coq-hammer 1.3.2+8.18-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hammer 1.3.2+8.18-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:35:20 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hammer_1.3.2+8.18-1_source.changes
- Debian-source: coq-hammer
- Debian-suite: unstable
- Debian-version: 1.3.2+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=LA/YhCwM24FYc2neMnKQ2hpzja3sA36jzC+xwPxVu+k=; b=stdB1C4rCFzzVrzZD7kGDe0w5x QVPfmwtGdF1yIJDnM2b/GY/9KJQOZL5H1Isc7IgHbB7+l1xSUf4h3SkkAvhIDZNSLsKhtOjcm2jFr JAGh9XcRfWrkrK62mL6ClXwqGAh++M2ZrCQv5qxCR4Fzv3O+n6dS5xGNdYiavztF9ufl610eWNEd6 yioJi4G99t/sM28OHxZTxzqejxqTXwrUxhpgpSo5BbI+bVOiXTRw9vGa5C9SBEijmprHmqaCbu0rt 0/n8a3yydO5qOSoKoFV67jdzNfwjy0sQyc1YoXR7BLafQAaFhNdTMuIpTKgVbzrSP0wpkHuX8vNCw VURZKX3g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGcsC-00DSfk-Hu@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:25:22 +0100
Source: coq-hammer
Architecture: source
Version: 1.3.2+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: 1044750
Changes:
coq-hammer (1.3.2+8.18-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044750).
* New upstream release.
Checksums-Sha1:
5dd1d69bfe2f0bde76098fa53bcd9475aee3a19a 2112 coq-hammer_1.3.2+8.18-1.dsc
25f798685b5202f41f770f74e17f0d8e8699cb3c 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
ec264711b07e253d35faffff96b3bd83aeefa873 2584 coq-hammer_1.3.2+8.18-1.debian.tar.xz
5557a05ed63bd36af96c924af309b3a4904295fe 7856 coq-hammer_1.3.2+8.18-1_source.buildinfo
Checksums-Sha256:
bca11e8dbcfb70952bc0beaf7ad3c5e928ad930edf4cc8d597157a906956dc16 2112 coq-hammer_1.3.2+8.18-1.dsc
4c619b72bed0963436eca485bfceda8448790e8cd128292385a970190c0eed6a 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
5fc0f856eba5763404958c6b7f0cec6637a6f51ba7411ea1d8a422853c9b7530 2584 coq-hammer_1.3.2+8.18-1.debian.tar.xz
d8e487aaf62c90579db0687693213a3263b545d246dff554f2cb30d7f21c7c77 7856 coq-hammer_1.3.2+8.18-1_source.buildinfo
Files:
33900f44cdf0580d42e3705288132c63 2112 ocaml optional coq-hammer_1.3.2+8.18-1.dsc
58022a87c9d0b8e5a2838733190ecd6d 148820 ocaml optional coq-hammer_1.3.2+8.18.orig.tar.gz
ba492d539b5d7279278e55e97ec984db 2584 ocaml optional coq-hammer_1.3.2+8.18-1.debian.tar.xz
f54322ed3271e36e8117fe555449e638 7856 ocaml optional coq-hammer_1.3.2+8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESvwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+iwQAIWUPapkIFfnxDXvuqyqWOUIMBoMQjUS
lpW2hGG87tePGIUFSyghIPfqA3cwHvg3xFnT0TbNUbmJ3exrqiFZuWRXHUTO4dUt
QxCcwgIOU7gMKiykgra17hrNRVtofHoIKlMxTSF9y/btsDSN9aICZj9YkRv8CdCS
umfdgb75rf6FM6rZPScrkqglFd9zaOapFSV7oDbBNsB5HqtpyL8uR9BBaW+RO5aX
s37hJh2YhHF8mkkSgC7QPl5xxmiX9Vt7dbgu7PpGxuQFJnppofBRvk9Sc9LxDOHx
wi68so7k7tXbmJq14wOlLIxocVG6O0puPCM3fG4Uw3D34nvRhRbV4QIDpzxSPujy
0y9Gfc1WxfBlvTvsoNmxIfUx0/AOA5fn6yV27DDvTUmfAU84E5OW6574C+2VkWKg
V4tr5cAcBaKfLxDo1b1K80TGXTho+/019KfN88GhR4JhsKQIytN4QRLqr41PaSov
1E7TZWvN2mJfJ3JHrOVfeakt6GiTkydcmFCGvkhOgemSv17xXOkccRlawTIt2SUc
7vrXuPFc6/2i3yk0bV3l5Y6M0p3/s3N7WUbri717ayjafEcDEVLHXcA2Iow/HaPF
R7+h7dJKqGDzBc7btDFVHc5x/jmRgMDCnIqgB0zOCraPyxbpBl2kSXcMmKoAUvrU
9pjJjhtJYlkN
=LgIx
-----END PGP SIGNATURE-----