As explained at: https://wiki.debian.org/SecureApt#Failed_updates_and_missing_keys `sudo apt-get update` fails with `public key is not available: NO_PUBKEY 7638D0442B90D010`