Package: krb5-user

"krb5-user" package binaries on Debian:

/usr/bin/k5srvutil /usr/bin/kadmin /usr/bin/kdestroy /usr/bin/kinit /usr/bin/klist /usr/bin/kpasswd /usr/bin/ksu /usr/bin/kswitch /usr/bin/ktutil /usr/bin/kvno

You may install this package on Debian with apt-get install krb5-user