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