GPGError.ErrorCode.NO_PUBKEY – gpg-error Reference Manual