1. 2016-10-23 [3] krb5-1.15-beta1 is available krbdev Tom Yu 2. 2016-10-22 [2] How do I regenerate krb5 "deps" files? krbdev Rick van Rein