Corrigir erro do apt-get update GPG

Adicionei uma nova fonte ao meu arquivo /etc/apt/sources.list e recebi esta mensagem de apt-get update:

W: GPG error: http://raspberrypi.collabora.com wheezy Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY ED4BF9140C50B1C5

Claramente, eu precisava importar aquela chave GPG para o apt. Veja como isso é feito:

sudo gpg --keyserver hkp://subkeys.pgp.net --recv-keys ED4BF9140C50B1C5
sudo gpg
--export --armor ED4BF9140C50B1C5 | sudo apt-key add -

YMMV, portanto, substitua o id hexadecimal da chave pelo que seu sistema está reclamando.