-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 04 Nov 2024 20:47:25 +0100 Source: z3 Architecture: source Version: 4.8.12-3.2 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> Changed-By: Sylvestre Ledru <sylvestre@debian.org> Closes: 1055476 1086725 Changes: z3 (4.8.12-3.2) unstable; urgency=medium . * Non-maintainer upload. * Fix FTBFS on mips64el (Closes: #1086725) Thanks to Adrian Bunk for the patch * Fix hurd-amd64 build (Closes: #1055476) Thanks to Samuel Thibault for the patch * Update standards version to 4.6.2, no changes needed. Avoid explicitly specifying -Wl,--as-needed linker flag. * Standards-Version: 4.7.0 Checksums-Sha1: 3cf2318006b16cfaa45dac9dc895e1414f37d44e 2636 z3_4.8.12-3.2.dsc bbb285ad7839494cd8678b1f0e00020135a1e314 10452 z3_4.8.12-3.2.debian.tar.xz 3d26556bf0d0e284c4537b5e9f2890a8b66191ee 15877 z3_4.8.12-3.2_amd64.buildinfo Checksums-Sha256: e3f7e3aa5a9117116f350464048dfdbe4b50f1582fdbed6e45e071c2a6fe54f3 2636 z3_4.8.12-3.2.dsc e3a203619e06d2eeac4b9f4d082620238c21d92dfef6003a2cda99035584f50d 10452 z3_4.8.12-3.2.debian.tar.xz aff1cb2a570fdd1c22ac325de9d640382153a10a918db7838b20e8f5f3d4ac48 15877 z3_4.8.12-3.2_amd64.buildinfo Files: d7502cf0c68f2d8ef7e22f4f54cfef1a 2636 science optional z3_4.8.12-3.2.dsc 94f0e043c77f83f955d1764610d3f32e 10452 science optional z3_4.8.12-3.2.debian.tar.xz 6a0639da69b54ba22bbab57bf84e9199 15877 science optional z3_4.8.12-3.2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmcpKygACgkQfmUo2nUv G+HBvhAAi6FXyAzrup0Ih+M8lvhVKzDYpPRyv3Aty1aEdHdKNWdM2jN3SyffVh4X MRdy11brx8sCdr2Xotrd10Apud+nIpvQucZO7wpvGXCq9U3bCTNCTVbo1dSIbehu o483PrNIkv4XzKWlUYXoBSZMyM/i7nd4uNTZgCBj4niFV5+UagCOknsd3VPLu/SQ SvKLrdp3cVRbtbZSugxmypAp9C6QSfBLsfIAbBQnQ/3IDd0JdAcvvswM8esdC1bS D0T5207m907ShmQo/3L4VzWljmQwfU89iCDPSI5Z2piF5fk4dkU1f/Zzjg9dHKWm QPt4wHi7QXpLaTzUtgrGrWQxxCjdghGmbqLbbrocisbCD03pj0Av/BIXif3hdHLX Y8uUG5D77Sg+ynu3Rad0oFEjZjB6LRnKTFyORaLxWqHTGl2NGBVkoukiWf5LcUoj X2CBm4kGhaho2T9kf1+E89mMOVG5uD1qv4F1Lw/ZT6SpZSLe0NP8T7tA+VHETg8Y rU8ZqES+bqeAfZ53gPU3iZzPbWF4ieWkXNbXZtX50CBuc1G9EdYTEFFbX77pEdXc X+TketQTSgQteamPLUvjdMCCs/fA1IWcE1J+r9h4L0LH/M4hGFCc7BuqnhT4XOaP rCLwdvm145kh1IFJ7fdLpCWVTB/EF3NXN5sDIv7dIRF7Rlv02HM= =aHkF -----END PGP SIGNATURE-----
