Since there's only 7.2.0-1 on http://snapshot.debian.org/archive/debian-ports/ I can confirm this version works on ppc64 Thanks Shengjing Zhu