Package: why3 Severity: important Dear maintainer, this seems to be the same issue as #942344, just this time it's cvc4 instead of z3: share/provers-detection-data.conf lists CVC4 versions up to 1.7, but the current version is 1.8, so the autopkgtests for why3 fail. Best regards, Fabian