Back to z3 PTS page

Accepted z3 4.8.12-3.1 (source) into unstable



-----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-----