On 02/16/2015 09:14 AM, Michael Tautschnig wrote:
Would it be possible to blacklist cbmc on the host chumley?
^^^^^^^
Looks like Christian hasn't fixed his buildd configuration and
make sure the name used here is actually "crest" and not
"chumley" :).
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer - glaub...@debian.org
`. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
--
To UNSUBSCRIBE, email to debian-68k-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/54e1c921.6080...@physik.fu-berlin.de
