pub const GPG_ERR_NO_CRL_KNOWN: u32 = 95; // 95u32