Processing commands for control@bugs.debian.org: > tags 942344 + pending Bug #942344 [why3] why3: does not work with current version of z3 Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 942344: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942344 Debian Bug Tracking System Contact owner@bugs.debian.org with problems