GnuTLS.ErrorCode.OPENPGP_UID_REVOKED – gnutls Reference Manual