The following debdiff would be enough to enable the packages for armhf, just still waiting the build I pushed to the PPA to validate it if works properly there.
** Patch added: "gdb_7.4-2012.04-0ubuntu2.debdiff" https://bugs.launchpad.net/ubuntu/+source/gdb/+bug/989153/+attachment/3106273/+files/gdb_7.4-2012.04-0ubuntu2.debdiff -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/989153 Title: gdbserver is not available for armhf To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gdb/+bug/989153/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs