import * as openpgp from "https://deno.land/x/openpgp@v6.0.0-beta.1/src/packet/public_key_encrypted_session_key.js";