Package: ippl-dbg

"ippl-dbg" package binaries on Debian:

/usr/lib/debug/usr/sbin/ippl

You may install this package on Debian with apt-get install ippl-dbg