https://buildd.debian.org/status/package.php?p=krb5 says it's been instate 'building' for 45 days, on arm-arm-03, which seems implausible. Probably it just needs another go at it. Thanks, Ben