Constant OQS_VERSION_MINOR 

pub const OQS_VERSION_MINOR: u32 = 13;