Accepted coq-hammer 1.3.2+8.18-1 (source) into unstable

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