krb5-devel [platform:redhat]