Source: cvc4 Version: 1.8-1 Severity: important CVC4 1.8-1 fails to build on several release architectures due to a few test case failures [0]. I have reported the issue upstream [1].
I am going to reupload the cvc4 package soon with the test cases in question disabled, as a temporary solution, and I'm opening this bug report to remain aware of the problem. [0] https://buildd.debian.org/status/logs.php?pkg=cvc4&ver=1.8-1 [1] https://github.com/CVC4/CVC4/issues/5082
