Constant OQS_SIG_mayo_2_length_public_key

pub const OQS_SIG_mayo_2_length_public_key: u32 = 4912;