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