Package: release.debian.org Severity: normal Tags: stretch User: [email protected] Usertags: pu
Hi, I'd like to rebuild z3 from sid for stretch to fix the incorrect SONAME of libz3java.so (#842892) Andreas
- Bug#935581: stretch-pu: package z3/4.4.1-1~deb9... Andreas Beckmann
- Bug#935581: stretch-pu: package z3/4.4.1-1... Andreas Beckmann
- Bug#935581: stretch-pu: package z3/4.4... Adam D. Barratt
- Processed: Re: Bug#935581: stretch-pu: pac... Debian Bug Tracking System
- Bug#935581: z3 4.4.1-1~deb9u1 flagged for ... Adam D Barratt
- Processed: z3 4.4.1-1~deb9u1 flagged f... Debian Bug Tracking System
