-----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@lists.alioth.debian.org> Changed-By: Sylvestre Ledru <sylvestre@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-----
