z3_4.8.12-3.2_source.changes ACCEPTED into unstable
Debian FTP Masters
ftpmaster at ftp-master.debian.org
Mon Nov 4 20:56:46 GMT 2024
Thank you for your contribution to Debian.
Accepted:
-----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 at lists.alioth.debian.org>
Changed-By: Sylvestre Ledru <sylvestre at 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-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20241104/2b9ecf07/attachment.sig>
More information about the Pkg-llvm-team
mailing list