Processing commands for control@bugs.debian.org: > tags 906001 + fixed-upstream Bug #906001 [why3] why3: needs porting to cvc4 version 1.6 Added tag(s) fixed-upstream. > thanks Stopping processing here. Please contact me if you need assistance. -- 906001: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=906001 Debian Bug Tracking System Contact owner@bugs.debian.org with problems