On Friday 11 Apr 2008, Durk Strooisma wrote: > Please try krnl.nl in stead of kern.nl. The repository was moved, as > announced in a mailinglist post some time ago. Superb, thanks Durk! Chris.