Constant antic::__FLINT_RELEASE

pub const __FLINT_RELEASE: u32 = 20600;