Package: opencryptoki-dbg

"opencryptoki-dbg" package binaries on Debian:

/usr/lib/debug/usr/sbin/pkcsconf /usr/lib/debug/usr/sbin/pkcsslotd

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