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

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

Format: 1.8
Date: Mon, 12 Jun 2023 19:30:10 +0200
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.17-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-hammer (1.3.2+8.17-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.6.2.
   * Add lintian overrides for false positive.
   * Add missing shlibs:Depends.
   * Bump Coq depend requirement.
Checksums-Sha1:
 17fcbee3367c85635b4c92edb0f8ae28704ed490 2112 coq-hammer_1.3.2+8.17-1.dsc
 fa98a28c160be3a014ca0dd32e2e4887b7f0141f 148735 coq-hammer_1.3.2+8.17.orig.tar.gz
 8910b3c98368e37e03910c41b22f1ff26139b476 2540 coq-hammer_1.3.2+8.17-1.debian.tar.xz
 34184cbc3e6481245b1ef08e07dc08529dae3700 7355 coq-hammer_1.3.2+8.17-1_source.buildinfo
Checksums-Sha256:
 ee55e70e9a389242d0593f3fdeb6c0790a9be38e0c8bb79d3a6eb4096b20018b 2112 coq-hammer_1.3.2+8.17-1.dsc
 e71f1b8f738be3ec663dc2f28805173b12361ff955239ece9144b5f9363692d2 148735 coq-hammer_1.3.2+8.17.orig.tar.gz
 8507173dc8ef89af639e0f45784789c93cfa093d9cd72960c07a7460a9a36f1d 2540 coq-hammer_1.3.2+8.17-1.debian.tar.xz
 d8e9bdacde3b3256fe518bdca2f3be4ee6ba3542b2b2c83b08075a06f732a70d 7355 coq-hammer_1.3.2+8.17-1_source.buildinfo
Files:
 8f0a5b4f9f351a99b863cc565e1509c3 2112 ocaml optional coq-hammer_1.3.2+8.17-1.dsc
 785033807084ee5ee1e1807a21314a47 148735 ocaml optional coq-hammer_1.3.2+8.17.orig.tar.gz
 d42495a6c5ecceddc9d9b9234317dc49 2540 ocaml optional coq-hammer_1.3.2+8.17-1.debian.tar.xz
 48912e8312e2098928965324567fac37 7355 ocaml optional coq-hammer_1.3.2+8.17-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVi0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpzUP/jpy/RjpGcLLyiAeoUyf5GjjZhbceiIK
/XUxMystP4ZzAiDNYMe/yMaU2m/3XEXgFtS0HMP0RXOtRoc3uee3IHmXS4QjSU5z
4w8JYrsJ4wKg/mzrSqooI0s8ihhjeLHi5G2HwDchDv3BL4y0J7N7sRME3AQs1N9p
lu1bXRu86iz8da6Zo5+B+03tNCme6KzcLbJ7ByKYvv1e/E46cWStdyw2u4wquXq7
uE8gh/Aadh+4mVw9gJaVJFhiqJqmSwS4j1c3GTwl2k6BEOy4XAAiSLZAePQchy9I
l+VChbFf0s2bB/BzcpM5mR9yIcYARS6kYjrMYRXmrQooWrqTbc85B9CZDRchJYmC
0fnuLysQDY4e6CyxTdhtJHfoTDesW2QdMVLYZzhV86M83b4TMgcd57aHdhUaBNUl
z0G5lKOIvXLsyQdz2QgTzNhI+6FSs9wX/Vbu/ATNyK1qymLv0xKhOQlCGMFxRugM
34Pb6nhUFpfIQIsj1wMXy4/V0tr+Z3fzGB0Wnhfffs14bomqfMKP6fk8igvoVPpx
45Nu9BUrTwwjjE2Aou7VfB4GriGnjcMJJSkE9N3MlyU0XJecgI3BaN/OdlAL9XSJ
/MLfNjtEPz8vymwyrarpwM291KteLXpHWfOhqLdV7UK/CIQ4r+Le365XnKfCCSD4
e0k8TqFdxb0O
=BQub
-----END PGP SIGNATURE-----