Source: cbmc Version: 5.0-1 Severity: serious Justification: fails to build from source (but built successfully in the past)
Hi, cbmc FTBFS on mips, mipsel, powerpc and s390x with some testsuite errors. It looks like (after a quick skim of the logs) the failures are identical. The full logs with all the errors can be found here: https://buildd.debian.org/status/package.php?p=cbmc Thanks, James -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
