There's an option in the PPA settings where the PPA maintainers can choose whether to build and publish debug symbols.
Oh, so there is. Thanks again! -- ⊨ Michael Gratton, Percept Wrangler. ⚙ <http://mjog.vee.net/> -- Ubuntu-GNOME mailing list Ubuntu-GNOME@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome