Dear m68k buildd maintainers, Would it be possible to blacklist cbmc on the host chumley? It seems that 1) building takes ~10 times longer and 2) it fails with inconsistent error messages.
Here's the overview: http://buildd.debian-ports.org/status/logs.php?pkg=cbmc&arch=m68k Once that block is in place, I will ask for cbmc to be given back. Thanks a lot, Michael
pgp21oF54Rtwq.pgp
Description: PGP signature
