On 22/07/16 at 21:34 +0200, Santiago Vila wrote: > On Wed, 20 Jul 2016, Lucas Nussbaum wrote: > > > Source: z3 > > Version: 4.4.1-0.1 > > Hello Lucas. > > This package does not generate any "Arch: all" binary packages.
It does: z3 4.4.1-0.1 built both arch:all and arch:any, see Architecture field in https://tracker.debian.org/news/785029 z3 4.4.1-0.2, uploaded on 2016-07-20 (which you probably looked at), only builds arch:any. (By the way, please don't Cc me when sending patches to bugs, unless you would like me to take a specific look at something -- In that case it's totally fine of course) Lucas