Accepted z3 4.8.10-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 29 Jan 2021 17:44:09 +0100
Source: z3
Architecture: source
Version: 4.8.10-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.10-1) unstable; urgency=medium
.
* New upstream release.
* Update Standards-Version to 4.5.1.
* Update patches:
- Refresh 01-soname.patch.
- Drop 02-pkgconfig.patch (fixed upstream).
Checksums-Sha1:
847c772ab6827265d5fc88c617125ea0594aefd5 2645 z3_4.8.10-1.dsc
daaa94014a3ab45c17a75adb7446a28ac9de2495 4731869 z3_4.8.10.orig.tar.gz
ed5ade01e79e8a3d915d90ad1b06272119ec8db7 10112 z3_4.8.10-1.debian.tar.xz
51e18f4663b450747bb42a36d21966c31f40928d 13236 z3_4.8.10-1_amd64.buildinfo
Checksums-Sha256:
79154abf69a30e25007dcbc708cc669a9acfadc9c0b6e48c5f5b0c2ee383dc31 2645 z3_4.8.10-1.dsc
12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 4731869 z3_4.8.10.orig.tar.gz
1276e44bdc3d3c873b27487aea0ca9882bf010bcf94a7c1cd1a9cd76eb89f234 10112 z3_4.8.10-1.debian.tar.xz
3ccdce89d5545078f918a29b2223235b57575f8d49f274f9349cefc265c64172 13236 z3_4.8.10-1_amd64.buildinfo
Files:
c08daa12a3272adea3e5cba79881313f 2645 science optional z3_4.8.10-1.dsc
e28c78a81489f924a0c2758e7376a5b1 4731869 science optional z3_4.8.10.orig.tar.gz
a2f90a4bfb75226a220cd41841c26614 10112 science optional z3_4.8.10-1.debian.tar.xz
323fa2a8a6dfaff2ae8a9d8562a728f1 13236 science optional z3_4.8.10-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAmAUQL8UHGZhYmkud29s
ZmZAYXJjb3IuZGUACgkQilOItk1pK0m3Yg/8Dix7p2eOLsXIGRNWkBsjRmjWzk8F
IBw1o/QVFhe19GAldIp92CvhNz2quCfc3YLYU83J0glhwPp1tUWHooKYzi2L2LD+
j2eTRiN8XSs59aCsXbe4ZvZrIPmk4PPSN/KdNwbfvodIoewGAELbhEvhjV6ubuNV
TG48WLLSGlKVfpa/sQ7WovhXEQu2DJdw3JXW70X40GxC+0RW7DQhWln31HQOSgFU
ysnoIJwoPmL7sebVTXDcCh5/vomI84lMsSpcXTYNQ3PeVksFOT/wqw86IB39sJz/
ttg357heNkYN4QeDep4BawAcPV+N0cJVfSnMw3Dmtc/BaAQW8VOBn1XltvMrFyg5
sH3u8tQtrOjm/+HauJml3LrW/pHcLy6OVtWd8q3tQF0NMIxsgdtp3u9XHdBvV1aU
Vb8jGLMqXV8TxSZkXqXTsqPKBly2V8pdjleRvcC/b4q4qfUaxoCDRIANPg25JvFI
AFzJYpATblaInLJyNvfnG1/2oezw/3vPhiUKs5WSmMuxIDAVlKRg05Kp/stqXPT6
NxFdtwSueAXmQcn78WaMG0vRdcLiiDfDWJgFoVSBP97R1Qnj+ZyP9jC5Rv7VrQQo
iXv5OEZfOW/SpyQ5axT4037JxeqGQ/Fxxk7bx9J4FTtkvd78b6UgZtPzd03e98b6
nVvlECldC0AWBS0=
=hviX
-----END PGP SIGNATURE-----