I've turned off the Woody build daemon temporarily. It's been failing to download any sources for the last few days, probably due to the move to package pools. With luck we should have it going again before too long. p.