package release.debian.org tags 935576 = buster pending thanks Hi,
The upload referenced by this bug report has been flagged for acceptance into the proposed-updates queue for Debian buster. Thanks for your contribution! Upload details ============== Package: z3 Version: 4.4.1-1~deb10u1 Explanation: do not set the SONAME of libz3java.so to libz3.so.4
