krb5 1.20.1-6ubuntu2.5 has been released, and that one doesn't have a build problem on armhf. So I consider this issue resolved. Thank you for having a look into this.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2097599 Title: krb5 1.20.1-6ubuntu2.3 (noble-security) failed to build for armhf To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/krb5/+bug/2097599/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs