Source: cbmc Version: 4.7-1 Severity: serious Justification: FTBFS Hi,
your package no longer builds on many architectures due to test suite failures. You'll find the build log summary here: https://buildd.debian.org/status/package.php?p=cbmc&suite=sid Mraw, KiBi. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
