z3_4.8.10-1_source.changes ACCEPTED into unstable

Fri Jan 29 17:35:11 GMT 2021

Accepted:

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

Thank you for your contribution to Debian.