Constant OQS_SIG_alg_mayo_5

pub const OQS_SIG_alg_mayo_5: &[u8; 7] = b"MAYO-5\0";