Package: pdksh

"pdksh" package binaries on Debian:

/bin/pdksh

You may install this package on Debian with apt-get install pdksh