Back to z3 PTS page

Accepted z3 4.8.12-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 21 Oct 2022 19:24:40 +0200
Source: z3
Architecture: source
Version: 4.8.12-3
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Karo Gyoker <karogyoker2+debbug@gmail.com>
Closes: 1016658 1020516 1020802 1021926
Changes:
 z3 (4.8.12-3) unstable; urgency=medium
 .
   * Do not use SSE2 unconditionally on i386
     (Closes: #1020802, #1020516, #1016658, #1021926)
Checksums-Sha1:
 43831183587607081a47be1fe2a54cfce70e81bd 2630 z3_4.8.12-3.dsc
 2f37f8566b2bfeeeac62d228e86a62becd48dad1 10308 z3_4.8.12-3.debian.tar.xz
 a01f0e6c10e5fa3f3ee0967a854ce77521ded596 13280 z3_4.8.12-3_amd64.buildinfo
Checksums-Sha256:
 bae3d63f0c8168d91935dafc7f77d24cfe27a17557018d184fc371a1bf9b0275 2630 z3_4.8.12-3.dsc
 1eb8b62a1194956a0049d4ab121bd088a727499dd69d4d7dc0f4e6c09affec3e 10308 z3_4.8.12-3.debian.tar.xz
 0fdb6927d4a72dde54d84e20b42e432c5ddf36caf43f2912d8898977be139b44 13280 z3_4.8.12-3_amd64.buildinfo
Files:
 75cba8dd8da47e6d5a37d20d7c523b18 2630 science optional z3_4.8.12-3.dsc
 f45db163406f1154f020a50ddc9e622f 10308 science optional z3_4.8.12-3.debian.tar.xz
 3848cd121e018bda08b02e6de4407042 13280 science optional z3_4.8.12-3_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmNS6LYACgkQfmUo2nUv
G+FpYRAAnYCzX4hNo0+CZvKIqUSqqY1HhjpSDZ1G/UC10xvgiDxpYNy/ZjLmDh+2
1wDvT6Q+2hVH7i44bOdpPIzIw/lLEaGpS3+LgumSwoG4S5QptrBtvEUDi8E+hngZ
D4mA/9K4PxrwYhlmC6/lxXc749Opy+v3pKXj9XPd8ukZ9iSbaLH+UD+ITjTnCZo9
kHlZCSii+d4g7Zf0AqoAMIlcIxoH3aU95w/uNFOAF/nbPD/nVug3I3OhrprMGk5e
9tJ3VNK/3oKeiLUnzqnVNzWzKnnZ65pc+doNEKfezmjsbtbqjCEXeSyShqaOHVj9
XUMGllLFRmnPaNgqMJHXbHhVo8Xhz1X1l3ZdWNGXVS8qOkC9AmdGsk8n61KsG/Rk
JuhsUEhi5Zw+Q8s2gQqohdH9zXfao2L1HK88i000z35T0EPJYdkuBvQdLwfGfzW5
bLTa8rsb6DtYbeQrUAh4UBoJMqTTIpBic3eFiinuO4BJ13Izk+mp1Wbi+hJ16Haj
mU0ldo/99s210N0Ncf0z3E8677heVCwWBlf7EY5SwHULk9IPh7biqIKDKFmY505x
M9zOmIphoOF46Ni6axphf+e2vXXgei72GNkMDVJoLUXRJS9zALtpRo0AOBL3vo38
vah3nZidbrCQaGUDoIdQV6ZSUbnmofmaq3JpGmQAaLhQtwJwOIo=
=oCMy
-----END PGP SIGNATURE-----