Bug#943996: llvm-9 now depends on libz3-4

[Paolo Greppi]

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