Also, the following should serve as a quick way to add his ppa key to your local keyring:
wget -q 'http://keyserver.ubuntu.com:11371/pks/lookup?op=get&search=0x932062C9CD30EE56' -O - | sudo apt-key add - -- libstdc++5 removal breaks non-ubuntu applications https://bugs.launchpad.net/bugs/431091 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
