changed cran gpg key acquisition to use hkp://keyserver.ubuntu.com:80, then export using apt-key add.