krb5_packages:
- krb5
- krb5-dev