Hi. The last build of krb5 for unstable seems to have failed for build machine failure reasons. In particular bison was not found at one point in the build even though it successfully ran otherwise. I think that if the buld were run again it would be reasonably likely to work.