z3_4.13.3-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 04 Nov 2024 22:19:18 +0100
Source: z3
Architecture: source
Version: 4.13.3-1
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: 1086731
Changes:
 z3 (4.13.3-1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * New upstream release
 .
   [ Helmut Grohne ]
   * Improve cross building. (Closes: #1086731)
     + Multiarchify python3 dependency.
   * Add nopython build profile.
     + Conditionalize debhelper addons via Build-Depends.
     + Let debhelper conditionalize --link-doc based on profiles.
     + Unconditional python3-setuptools dependency needed even with <!nopython>.
   * Tighten libz3-java -> libz3-dev dependency for doc linking.
Checksums-Sha1:
 45d11093401ce88d09176fa1c83e1eb71cb28b19 2704 z3_4.13.3-1.dsc
 cf98065f0f392e4bfca40550e0792b2ee59d6c89 5583533 z3_4.13.3.orig.tar.gz
 7dc9982ab40d6adc4e5dc48dc9deefe80af14eae 10696 z3_4.13.3-1.debian.tar.xz
 7853bf49b2b69d3ec42cce39289d1b4e1a46486b 15811 z3_4.13.3-1_amd64.buildinfo
Checksums-Sha256:
 503d4e990e0d6e2012d4ef97e31ff6a7dcd8b0ead582e58be07c84dc6b6d0df3 2704 z3_4.13.3-1.dsc
 f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 5583533 z3_4.13.3.orig.tar.gz
 25a36c2b45e85b24620da6dec8fbb2095d41cbe1b03b27b5da007ff9c922e9ca 10696 z3_4.13.3-1.debian.tar.xz
 466857a128d9d1b0d1b07fb34999fe3eacaffe1d2f75853a0e73d05523e9430b 15811 z3_4.13.3-1_amd64.buildinfo
Files:
 0ed881355961da54b4441d94b054d5ea 2704 science optional z3_4.13.3-1.dsc
 48f96551da3180c6bf270904102e1149 5583533 science optional z3_4.13.3.orig.tar.gz
 ee5adf2279e0a99b30de33b50217cf9f 10696 science optional z3_4.13.3-1.debian.tar.xz
 59c115c38d13516221856d9f44d62ada 15811 science optional z3_4.13.3-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAmcpybwACgkQfmUo2nUv
G+HtkhAAnEnQJLfg4DF35Rn57VfbfQ4scnLDo49qyBv63G/C4VOSae6p0hreO0Z5
85BUwXjug6NvEfyeWEYfNvG8wgLFoCjqQFqca+C0CMPxnhVbLvOt4b5TvLziwjHt
oJqNBaAe5LzQcjqDZUDt8Vasly8791fY50nVO6X4+aPJlBhe/MBkArMYe/x/PlmK
Mi/EjuGItO06Gjqq9jzWSvLfsQmauO6YaJrXdENTPZEshwV2074DDAsW2OFRFXtT
sM1mELtCOP63r4AVXjPvMVHFFFBDZUJlsXP/zZWw7R1+HaZIwtCDGo9OcNOc3CGH
Um5esZ9GmwJvXD4C+wdcJgdn/zUt1k1ANlISXfsFNTESpdp/U+C1meAH0B+5QsUP
IhgNEejnY0H6YI4HOC0lg94tsMdrikvNU5CynXa81YiTKAIXCS2vrktKhl+KkPXp
/lCcyC/jON4Pmlvv+ma90WWUsUD9CO4+yqw8Sz+XnF6aY3og6uRw0tygRtQ9rPFZ
O7eyuknZgjyROetUVOXfqzHV1asQHLmJGcGq5HdYxU1phDR275jXUnIM3KmFeLYg
Knvs1AqH5JjI+sE7Zn13wn1dH7Ewp9ipe2hOfsUWHpwfTBK8fzHFg+pHQFCPZAak
pw2JSJxQaNpcPSSkmry6Xs2W7ful6CqOuFa/Q1Jy7mucX9pGSz0=
=dn6W
-----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/20241105/e4700c48/attachment.sig>