On Fri, Jul 25, 2014 at 06:48:13PM +0100, peter green wrote: > Not in debian proper but it is on debian-ports.org and it appears to > be pretty healthy. Hmm, not listed under the official nor unofficial debian ports, while ppc64el is. https://www.debian.org/ports/ ppc64el listed, ppc64 is not. -- Len Sorensen