Dear WWW team, Any reason ppc64 is not listed on packages.debian.org ? Other unofficial ports are listed. For example see <http://packages.debian.org/sid/bash> Cheers, Bill. (Please CC me)