# GMP options config GMP_HAS_MPBSD bool default y if !GMP_5_1_0_or_later