Processing commands for [email protected]: > 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 [email protected] with problems
