-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 11 Sep 2021 17:58:23 +0200
Source: z3
Architecture: source
Version: 4.8.12-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-t...@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wo...@arcor.de>
Changes:
z3 (4.8.12-1) unstable; urgency=medium
.
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
.
[ Fabian Wolff ]
* New upstream release.
* Upgrade to Standards-Version 4.6.0.
* Update years in debian/copyright.
* Update 00-intrinsics.patch and refresh 01-soname.patch.
Checksums-Sha1:
96a463b0dbf8cb7acfbe16eb3e1ca76b9cfa3f91 2642 z3_4.8.12-1.dsc
f4443c6beedb46e8a0785529b477b2f811901cc3 4803435 z3_4.8.12.orig.tar.gz
408494e01ffb03c46416f725a20b7cd26694f950 9896 z3_4.8.12-1.debian.tar.xz
125f0e1bc7356c61aa5e0b0ab190a0f01a8b0cbd 13185 z3_4.8.12-1_amd64.buildinfo
Checksums-Sha256:
fcaf38e1dc9cfa42ed192d4a01c4f4efdae06b15927fd12a8d02fa0f8576fda6 2642
z3_4.8.12-1.dsc
e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 4803435
z3_4.8.12.orig.tar.gz
3600348c75918866e3cb43edebe6a377186f5991a8aaa2dc6d980f46696dc506 9896
z3_4.8.12-1.debian.tar.xz
09610e5ce6aa250cdccd2e0a8a1828e4f7a0cdccc84506f60ba6a7cd8363c900 13185
z3_4.8.12-1_amd64.buildinfo
Files:
952bf739a35a5eeff21fb3bc9d08777d 2642 science optional z3_4.8.12-1.dsc
73fd07d094685039b03aed9e38040d13 4803435 science optional z3_4.8.12.orig.tar.gz
bdb225b652a230621f44bfd1dd0430f6 9896 science optional
z3_4.8.12-1.debian.tar.xz
5f1df2b2aa3553e28d44c6e3aa2d2017 13185 science optional
z3_4.8.12-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAmE81WIUHGZhYmkud29s
ZmZAYXJjb3IuZGUACgkQilOItk1pK0k7CA//bONGU4rpkh1C5Vmb4u9b+dFnq0Nx
DwGVGaeEWHOC6fhPIFxJjvxVWdQWO65HQ+At9iyljOi8gcRHXVn9fBSMYbWx2vCm
avLO0INYejvVfRE9wjTZUdoF4AKcxJzLCaAS1ISVRAcXapVjvi4yEHyDPH1eWGNU
W09j5C6ImiKlT5XZSjRVc9nPapKldbAx+SEm9+DlSWnbetv5aHfbDVqwt5RkOUy6
V3WY4vtjsO0aevMZUvSDe485fRtxpxW+WZkqrXkSqZPK6RmBwa3GB8RSUdN2NOHK
wvuICttZy1GlWaiO6Qg0uP7tO3wAk+s58fw8xt36Jr/iuacGUpWFpKA0cN3khclG
xFfhuSBtmRv20WuFLCHNzSaRKeJLIbytUXWIreBE09E+e/K96h9Ujlhf+BlsoZY1
0KsgmoWeXmqBab+wZsTsGRuOq19aCoF/zteyp5rTrnGMZieGiLcFel0VCuZySNja
cQYMOC0UQrxyZ4eZCiuBNn2cEtHSsVDOi79euetnxOQ8wCyiFlSHtfdGB/B7iNxE
CY51kS5KU663TDnjNoYujidRX8gZIZwVT3NpuAFXBOWrX0unDdLDWry2ToUPDuJ3
GYL+nW8cY1f36K7gv32mUSKnzJy2i1L6x//wNz3M57Qtp5QRc41rPaYLnpJGIuJE
MWs1/XnzextHENE=
=wDNX
-----END PGP SIGNATURE-----
