apt-get update now returns W: There is no public key available for the following key IDs:7638D0442B90D010
# apt-get install debian-keyring debian-archive-keyring # apt-get update should fix it.