[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Please block chumley from building package cbmc

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" :).


 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz@debian.org
`. `'   Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913

Reply to: