On Tue, Nov 26, 2013 at 12:56:58PM +0000, Justin Cormack wrote: > We should look at doing the same for tools... Likely to happen. But can you check if the last merge from pkgsrc is good enough or whether we hit this in other places? Joerg