Package: release.debian.org Severity: normal Tags: stretch User: release.debian.org@packages.debian.org Usertags: pu Hi, I'd like to rebuild z3 from sid for stretch to fix the incorrect SONAME of libz3java.so (#842892) Andreas