Back to z3 PTS page

Accepted z3 4.8.12-1 (source) into unstable



-----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-team@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@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-----