#apt-get updateしようとしたら
W: 以下の鍵 ID に対して利用可能な公開鍵がありません:
A70DAF536070D3A1
W: これらの問題を解決するためには apt-get update を実行する必要があるかもしれません
て言われた。Debian Wikiに対処が載ってた。PGPサーバーは適宜ググって探そう。
$ gpg --keyserver pgp.nic.ad.jp --recv-keys 6070D3A1
$ gpg --fingerprint 6070D3A1
$ gpg --armor --export 6070D3A1 | sudo apt-key add -
でできるようになる。この鍵IDは変わるので、適宜読み換える必要があるが、必要なのは下8桁だけのようだ。