Accepted coq-hammer 1.3.2+8.17-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hammer 1.3.2+8.17-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:57:59 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hammer_1.3.2+8.17-1_source.changes
- Debian-source: coq-hammer
- Debian-suite: unstable
- Debian-version: 1.3.2+8.17-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=LBg/aoHj54DIIpI3KN4IHLzb5yLKBhzm5NGSaUijCJc=; b=iWK3agIy8B3ZC/R9GcWvQ08EXH ciwnKfgDTp0sLZVUoR9LEys1tWpXjWxVfdj6gCfnJy98zmdjdKere6IwKm4mAEsxoJw2XKEFYGFUw WKugFyl/aUDXzOXc9RBD3fVz5zbkOWvKI/t8fa6FnzxA3FcHi5KCSqOk9YIIpBE2Vv6twBL+E2Ugj P72pgqnYE0CBIcMCrEG/RWMnUOVwHNEdfpuArZLXfQJ20AdmjUk5mNH3t3GyDUbwpVoLs2ySLM3IJ vMKb7hOPok99gSgnGGTjv3bfpkNGD4S/8c1rExzFihDjuLQHWZELku5I3sE3W9UvprJmzgR+nRx0N tbQMAXcw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8obv-000G9F-Sq@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----