Constant antic::__GNU_MP_RELEASE

pub const __GNU_MP_RELEASE: u32 = 60200;