Package: ppl-dev

"ppl-dev" package binaries on Debian:

/usr/bin/ppl-config

You may install this package on Debian with apt-get install ppl-dev