Constant nettle_sys::__GNU_MP_VERSION_PATCHLEVEL

source · 
pub const __GNU_MP_VERSION_PATCHLEVEL: u32 = 1;