Package: release.debian.org Severity: normal Tags: stretch User: release.debian....@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
Package: release.debian.org Severity: normal Tags: stretch User: release.debian....@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