# GMP options

source "config/versions/mpfr.in"