Your message dated Sun, 24 Nov 2019 14:45:34 +0000
with message-id <[email protected]>
and subject line Bug#943996: fixed in llvm-toolchain-9 1:9.0.0-4
has caused the Debian Bug report #943996,
regarding llvm-9 now depends on libz3-4
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
943996: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943996
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: llvm-9
Version: 1:9.0.0-3
Severity: normal
Dear Maintainer,
when I tried upgrading to llvm-9 to build doxygen, it started to complain of
missing /usr/lib/x86_64-linux-gnu/libz3.so
This is surprising because we never needed this:
https://packages.debian.org/sid/libz3-4
Now apt-cache rdepends libz3-4 returns:
libz3-4
Reverse Depends:
libz3-dev
llvm-10-tools
llvm-10-runtime
llvm-10
libllvm10
libclang1-10
libclang-common-10-dev
llvm-9-tools
llvm-9-runtime
llvm-9
libllvm9
libclang-common-9-dev
libz3-jni
libclang-common-9-dev
llvm-9-tools
llvm-9-runtime
llvm-9
libllvm9
This does not seem right.
P.S. the popcon graph for z3 is funny
https://qa.debian.org/popcon.php?package=z3
Paolo
-- System Information:
Debian Release: bullseye/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 5.2.0-3-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8),
LANGUAGE=en_US:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages llvm-9 depends on:
ii libc6 2.29-3
ii libgcc1 1:9.2.1-16
ii libllvm9 1:9.0.0-3
ii libpfm4 4.10.1+git14-g815ff28-1
ii libstdc++6 9.2.1-16
ii libtinfo6 6.1+20191019-1
ii libz3-4 4.8.6-2
ii llvm-9-runtime 1:9.0.0-3
ii zlib1g 1:1.2.11.dfsg-1+b1
Versions of packages llvm-9 recommends:
ii llvm-9-dev 1:9.0.0-3
Versions of packages llvm-9 suggests:
pn llvm-9-doc <none>
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: llvm-toolchain-9
Source-Version: 1:9.0.0-4
We believe that the bug you reported is fixed in the latest version of
llvm-toolchain-9, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Sylvestre Ledru <[email protected]> (supplier of updated llvm-toolchain-9
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 05 Nov 2019 10:30:26 +0100
Source: llvm-toolchain-9
Architecture: source
Version: 1:9.0.0-4
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <[email protected]>
Changed-By: Sylvestre Ledru <[email protected]>
Closes: 943996
Changes:
llvm-toolchain-9 (1:9.0.0-4) unstable; urgency=medium
.
[ Samuel Thibault ]
* hurd-cxx-paths.diff: Re-introduce patch to find C++ headers.
* hurd-EIEIO-undef.diff: Drop patch, already fixed a different way upstream.
* hurd-pathmax.diff: Drop now-useless parts.
.
[ Sylvestre Ledru ]
* Add libz3-dev as dependencies on llvm-X.Y-dev (Closes: #943996)
* Update build-dep libpfm4-dev to linux-any.
Thanks to Samuel Thibault for the patch
.
[ Gianfranco Costamagna ]
* Add also Ubuntu focal to the gcc-8 arch list
Checksums-Sha1:
ee783c3aa1b77baa526ebf2d30ce16c063b283c9 6044 llvm-toolchain-9_9.0.0-4.dsc
016e14d193875f5f276f267824aec139d414be13 111160
llvm-toolchain-9_9.0.0-4.debian.tar.xz
0bdd3ca4fe5875e5a91f85fb751b6c9ff40a9221 25851
llvm-toolchain-9_9.0.0-4_amd64.buildinfo
Checksums-Sha256:
c1fbe68aae3588c5385e65dd672af4ed131f8c1d6a956f2206f7e9525eea3627 6044
llvm-toolchain-9_9.0.0-4.dsc
2ff5f04b91cc18f850fa721558d12e4da1569266eee54bd9ab3c64b13fa34ca2 111160
llvm-toolchain-9_9.0.0-4.debian.tar.xz
598c96d7a4ea0ec0b4d9d574c75dc89172f6075cc30d2a6990f7f3276a341e7c 25851
llvm-toolchain-9_9.0.0-4_amd64.buildinfo
Files:
9d3d449c9ab46ebe247d773143f34687 6044 devel optional
llvm-toolchain-9_9.0.0-4.dsc
a8e361aa46b4f3022929ea1cda9701c3 111160 devel optional
llvm-toolchain-9_9.0.0-4.debian.tar.xz
aeb50f4dd5b991ade561df952d55af69 25851 devel optional
llvm-toolchain-9_9.0.0-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIyBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAl3aiYIACgkQfmUo2nUv
G+FzZw/407LeKUHx5+A6DU8sIdgPxiOMQxVghZmGpmBndsjWrh0LaPSpQKfPF00S
cZ6ZsC2MdhmS/3vzZ/vrDG/B+uiIAQ0Y0glY14JtDvKFWila+Ai3/F7NCkchCEJZ
nJzj4frawQwOjAKfUMpm3h2z3ybHfM3hILejCUqJWW/sqmAYIJdA8Nkf1ZZRcK22
oqMJrOXzs8etfkJmpfnkTZJb8WHMqAWclE46Tc8UQ4Ss52GFigRiAzLdsfQPyS9r
yTbziC8r5GaDfo2Z/qjR020xKftrXC1zLUAmxs8veu2/hX44Ey+YleoZM5jo5L4F
6KW1FWDZHuT36ohZLdxary0JdSFn3rsEIucgMg7ToBjmYxa8fR3SwEKvEvrlm6Rl
Gr0NqAqhVJlJmBZiP3AzqeZPBbCt7zeTqLmpIAwE0z65MfKa231ocFA6oeQl2A55
hJjopLGkdwbczrc6z7UQ3ZfVspSMIuktYeJUmfDu9evGjIRvljxQdR/9JWMqUNuZ
r6MDlwPiqtKxlT3f/L7cDMPpjjsh6Gc3k88cEHSCXGpoDKI2XUopVjLExm3rfmhA
/h5Y/7m2mZ0GNmbTJfdLqRZ+yUT8P/heXXsClSJwIz/0Gwz9P7VvAvi0ngtVx1xw
Y9Iezz5RvxxIUkpmsiyaRj2jTltwlrNXeCPCTtpCgt+ogUak6w==
=V/6b
-----END PGP SIGNATURE-----
--- End Message ---
