Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)