On Mon, 4 Nov 2013, Adam D. Barratt wrote:
[not sure if you're subscribed, so erring on the assumption that you're not; please say if you'd prefer not to get CCed]
Yes, it's ok to CC me, thanks.
The buildd network won't install non-free packages in order to build other packages (yes, that's #719626).
*sigh* this bug strikes again, I should have known ... Thanks for finding this piece of the puzzle. Thorsten