Bug#895104: why3: skip cvc4 autopkgtest on architectures without cvc4

Hi again, On Fri, Apr 06, 2018 at 09:12:09PM -0700, Steve Langasek wrote: > In addition to bug #895103, the why3 autopkgtests also fail on non-x86 > architectures in Ubuntu because the test dependencies for the why3+cvc4 test > cannot be satisfied. The attached patch makes the test dependency >

Bug#895104: why3: skip cvc4 autopkgtest on architectures without cvc4

Package: why3 Version: 0.88.3-1 Severity: minor Tags: patch User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu bionic ubuntu-patch autopkgtest Dear Ralf, In addition to bug #895103, the why3 autopkgtests also fail on non-x86 architectures in Ubuntu because the test dependencies for the