Accepted z3 4.8.12-3.1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted z3 4.8.12-3.1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 01 Feb 2023 15:52:37 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: z3_4.8.12-3.1_source.changes
- Debian-source: z3
- Debian-suite: unstable
- Debian-version: 4.8.12-3.1
- 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=4cjO3a6mQ8oGGGPK3zVIQaMLNevYCyjYN2+HQYr7g4o=; b=j47kj9ISfZNLeRwYFtyz7Fe7F7 PD04joV2lYrYwG0Zts8uZHbQ44Rn6SLW5kGHxsOmAKDUy8wl6UKVCrMdwEfX1/uBH19MxjS8oXni5 h00YiD9jqHOSAERuDajJiX4wUlL4Ysj/ZR1TI14TiRXRVbDUW3t7vOQESQ87IpUSCRQvqLcA8Pq9Z TIvsz4qFWJszmVIaYrJbBKijHp5xVpAQZteoh5SZg2dIepfKs+CM7GYNJZPAm32dG21ZA0ic/sE/5 uvxl2RnNrvSDSJJtiglyE3v3YNVXg7/B9IIlhM6qPvKD/JsYVLOVXzmhk3WfSkNYMea8kQt4GRPAa FNHA/eWQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pNFPZ-007scf-Om@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 01 Feb 2023 13:06:03 +0100
Source: z3
Architecture: source
Version: 4.8.12-3.1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Manuel A. Fernandez Montecelo <mafm@debian.org>
Closes: 1025343
Changes:
z3 (4.8.12-3.1) unstable; urgency=medium
.
* Non-maintainer upload.
* riscv64: link against -latomic (Closes: #1025343)
Checksums-Sha1:
d5bd0d44e8a45bd8f7b48039d2fbe6d5c5802380 2663 z3_4.8.12-3.1.dsc
bac6eb0fea1ed8ca07661efc29cdbfb08c3a02b8 10420 z3_4.8.12-3.1.debian.tar.xz
f4e45e749a12a8d10b9a9b77d57553024b8c2282 14265 z3_4.8.12-3.1_amd64.buildinfo
Checksums-Sha256:
0e5db5248212a72d3dc3fe99873181161649ff03d89de726bbe6f57604488008 2663 z3_4.8.12-3.1.dsc
5bb616648de1d82f5563377e1640e59dd653b6beac3b6513358362e5dbd925fb 10420 z3_4.8.12-3.1.debian.tar.xz
57b03f930d13f5ebde4d25da2792517ba3da78e43db2e641e2ccf232cbc08c11 14265 z3_4.8.12-3.1_amd64.buildinfo
Files:
f3d77f94d51ee80a31f4db0d00c71330 2663 science optional z3_4.8.12-3.1.dsc
632052111a73db41cad36b663acc1d58 10420 science optional z3_4.8.12-3.1.debian.tar.xz
131a02e831ea9673bf594753a482e86f 14265 science optional z3_4.8.12-3.1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCgAuFiEEKo6AUFxIYphDDdCTf3YGpEXcqA4FAmPaeNMQHG1hZm1AZGVi
aWFuLm9yZwAKCRB/dgakRdyoDti3EACeXse6aiBSXEkvRVaon1Nc0hSVl+EuWUJu
5He5HjJXe54DQIw4DoUCxgIYUE1AoUyU8Pg0b9OuE9fAQlZZxHwpw5lg5syDjEPb
IklZccMi8SFDTWKt2PZAnVuKbU8g/+6XeClAfZ9Z0dH72Ax5mNYoppGHA59EpkOW
xchhYuCPI00SmXfAQ92uvOOq0n971y5TzBr4A87x+4wmxhjFJoYQp7INvCBBPDAh
D60hYcqVOtCR+IodCxGsTqENj7cyJn0Au4x2DslHeq77yjR+KMHNKOWQdF/zc1gW
zJd1/LHV+MLIow5zN/tVL8qOAKYV07Dejag9Q4kCSe5Rl9vRA/8dRgbuMOgG3OQo
TDjMqIO6HS2F1OVUmfnCn3NZNUo+YWbP333O3srjhK6O716+uAqUbvb/AiinrNNT
LdJRRq2JBVvda12uUxmxFXZqlb1lDgcMuc2Y489o/VSydhjai1Bw/8Ayn3v4E8aq
cGMGeJqeboqWojNfDnMFcipTfgawIfspUZNpyCvZWp0v6ATSstcfxmc6tl4duR4E
zlpKCBIWYdCPpcbUK3OFwtjrLriNhqJchPzJXjh9zdG20XywhytV5nsfK32rsvq0
DqcviKpee1Oln5zBJ6mxg4aKWz/Jqe5IA5Z3UZiCf0+kIHVXlNUIEbf8/XwEUIHo
jEHic7SlmQ==
=25og
-----END PGP SIGNATURE-----