Hello Fernando, I think you've been subscribed on the bug when it was still on https://bugzilla.ubuntu.com/show_bug.cgi?id=7366 - you can unsubscribe yourself from the bug on the https://launchpad.net/ubuntu/+source/bug-buddy/+bug/13713/+subscribe link.
Thanks for your update, though - and all your efforts, of course. -- bug-buddy should propose installing dbg packages when available https://launchpad.net/bugs/13713 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs