Package: krb5-multidev

"krb5-multidev" package binaries on Debian:

/usr/bin/krb5-config.mit

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