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
Attachment:
pgp431Z2rqX6P.pgp
Description: PGP signature