-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 21 Sep 2020 12:55:45 +0200
Source: z3
Architecture: source
Version: 4.8.9-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.9-1) unstable; urgency=medium
.
* New upstream release.
* Upgrade to debhelper compat level 13.
* Update patches:
- Refresh 00-intrinsics.patch.
- Drop 01-reproducibility.patch (fixed upstream).
- Refresh 02-soname.patch and rename it to 01-soname.patch.
- Drop 03-pthread.patch (fixed upstream).
- Add 02-pkgconfig.patch to correct the new z3.pc file.
* Add the superficial pkg-config-test autopkgtest to check whether
the new z3.pc file is installed properly and usable.
Checksums-Sha1:
b44c9e2c70b1d275fd090b8de212f0165a976d54 2638 z3_4.8.9-1.dsc
6586ddd6388ddaa73a387b9d13f299169c11674e 4624159 z3_4.8.9.orig.tar.gz
761a4dede3e8edb419ea0d03c08ba8bfebd6f386 10340 z3_4.8.9-1.debian.tar.xz
ac5901aae11bd72c5590c9934cdaf518d70efaf8 12765 z3_4.8.9-1_amd64.buildinfo
Checksums-Sha256:
50222a5a464eea6c633f51b08835296f52888175074d9b53d479bf0414fa1fdb 2638 z3_4.8.9-1.dsc
c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4 4624159 z3_4.8.9.orig.tar.gz
7d544edc322286295d40031eb0db40015ee5b1821b95cf375845d4a64b69086a 10340 z3_4.8.9-1.debian.tar.xz
f46ad6667dae43a9999b2797312345a3ce5d86eda6a97754a986099625ad0ab2 12765 z3_4.8.9-1_amd64.buildinfo
Files:
72f9754df3f404d7d6d708b42b7c686f 2638 science optional z3_4.8.9-1.dsc
12ceea755e5eaf5c7d8d1525f4c9f2b4 4624159 science optional z3_4.8.9.orig.tar.gz
1f2815090e6ff334901e9111152de94f 10340 science optional z3_4.8.9-1.debian.tar.xz
3c3e72ff95f28ac62e9d0571d72710b8 12765 science optional z3_4.8.9-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl9omo4UHGZhYmkud29s
ZmZAYXJjb3IuZGUACgkQilOItk1pK0kMDg/+PTC+9jTCV3JJUZtDsliT6jlPRjXy
07wuMc5YIMI3zJCD9B/xpBlOa9xNwFhH0aK6TPI12djYdo/GnHrxi5haVeDOAOuj
RiAvpSiIVeiTxV5HoVRDGPgDGxG3EriK75NU8Eu6sHPNhQLH69LTubjIjN9YmF6K
ncQf7dgNn34ZIffRXfhgl+bL4V4xIpD/TVrE1Vik41qluFi5Gh+ppr3LZMqajiGV
3dDth4DQ4DotcnarELAYyOVhLqSM+iFBfXdM3+djb/Bw2cO8815lqgB+fiuvAdQq
cnTvyOYmXWwpE/aUG46gtjHFqhhAvBER3ah6c0a29Bu1pJC45Rjl7sG9EbmLEZp6
sbzjpA3F/elloOfg9A5sljqXqhrK9R0LeIVzqaZWTjTp0Upd63aaOgczgE+Trb5A
qDjYVnL28zjTwd3FytQRsnvP1NzNarpahhbX57u0OHFMiAdFC6bnXpnGdK3tm159
or6SVd7m309FYwZUnQiKC4h0A2bJG5oV7NLzuJNnQLs/rkJSFUyCqOlyyFxp6JZx
eT2KBhpG1SmSgzmn8u6LRUXwgdPLWnzPI3EgrSFhZscphpY4p++JxaypSs5QGrIW
vEv69pM3DF49nTEqSi2sq84FReCvNOTnZ/CW0/6m3PaWPpRWO79Jhd970VW8qDwx
Tzz+36hofyKY64Q=
=abnF
-----END PGP SIGNATURE-----
