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
