Processing commands for control@bugs.debian.org: > tags 895104 + wontfix Bug #895104 [why3] why3: skip cvc4 autopkgtest on architectures without cvc4 Added tag(s) wontfix. > thanks Stopping processing here. Please contact me if you need assistance. -- 895104: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895104 Debian Bug Tracking System Contact owner@bugs.debian.org with problems