Package: krb5-admin-server

"krb5-admin-server" package binaries on Debian:

/usr/sbin/kadmind /usr/sbin/kadmin.local /usr/sbin/kprop /usr/sbin/krb5_newrealm

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