Hi, I've reported a bug in the building of AMD64 port of SBCL and the maintainer has asked me the buildd logs. Are these available online? Cheers, Steve