The Kerberos distribution page has moved here.