Accepted z3 4.8.12-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted z3 4.8.12-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 21 Oct 2022 19:26:54 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: z3_4.8.12-3_source.changes
- Debian-source: z3
- Debian-suite: unstable
- Debian-version: 4.8.12-3
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=1XJg+BDhTx17GnfULGEJbajW+EE28/MK6M52u1tZTw4=; b=G+9uEBwlg8Z1DpWjd4nfejpPCq aS8p0I0AvaZe+mGweSaiJXpJmvrmnoWFockaytIHrA+gM1CMFYTV350GDQbVDpIXnTYrIoDCLNSeS 6V/jIB3J1KNhiKBkev0l38+Dx4GTEh7q3Wt5X9Y/3/IoQcl2ASbndns/FzNTafIOdx9hPrcMl+Yb9 yrB3WnZHOynTdII/eq0/LXkv/N5LU0kLgdKddlZhTbuixCViK4OTkCY6MzOrBPVIcmEZMqstmws7u 0e46CHfiY+PZ/lOXj49E36LzzRtF/Pph4O2gdE1DtZWNAjuwaKYGGu80RRkki5c98hcLc14Ydb3SV Xf9Org8Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1olxfS-00ATx1-5a@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----