Dear developers, apparently ppl 0.10 pre34 still fails to build on some architectures because of FPU_* macros not being defined. Please see http://buildd.debian.org/fetch.cgi?&pkg=ppl&ver=0.10~pre34-1&arch=arm&stamp=1223724338&file=log for details. Thanks, Michael