gcc202, a SPARC64 LDOM running Debian, had been offline since May because of a hardware issue.

The issue has been found and worked around: the machine is back online, but there may remain instabilities.