I've made a new upstream release which works around this Ubuntu bug. I've also attached updated debian packaging information. If someone with the appropriate permissions could check that in, I'd be very grateful.
** Attachment added: "updated debian packaging info" https://bugs.launchpad.net/ubuntu/+source/ggcov/+bug/713811/+attachment/4022608/+files/ggcov_0.9-1.debian.tar.gz -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/713811 Title: ggcov can't open exisiting shared libs To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ggcov/+bug/713811/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs