It sounds like all of the affected Debian ports are long since diverged from the official Debian releases anyway: > The sh4 port has never been officially sup

It sounds like all of the affected Debian ports are long since diverged from the official Debian releases anyway: > The sh4 port has never been officially supported, and none of the other ports have been supported since Debian 6.0. Wikipedia tells me Debian 6 was released on 6 February 2011