Processed: Re: Bug#908957: stretch-pu: package z3/4.4.1-0.4~deb9u1

Processing control commands: > tag -1 confirmed Bug #908957 [release.debian.org] stretch-pu: package z3/4.4.1-0.4~deb9u1 Added tag(s) confirmed. -- 908957: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908957 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#908957: stretch-pu: package z3/4.4.1-0.4~deb9u1

Control: tag -1 confirmed On Sun, Sep 16, 2018 at 09:13:43PM +0300, Adrian Bunk wrote: > diff -Nru z3-4.4.1/debian/changelog z3-4.4.1/debian/changelog > --- z3-4.4.1/debian/changelog 2016-09-26 08:28:12.0 +0300 > +++ z3-4.4.1/debian/changelog 2018-09-16 20:46:04.0 +0300 > @@ -1,3 +

Bug#908957: stretch-pu: package z3/4.4.1-0.4~deb9u1

Package: release.debian.org Severity: normal Tags: stretch User: release.debian@packages.debian.org Usertags: pu Installing multiple architectures of python-z3 at the same time fails during installation, remove the incorrect Multi-Arch: same. diff -Nru z3-4.4.1/debian/changelog z3-4.4.1/debian