Requirements of 1.4.1: gmp-6.3.0, mpfr-4.2.2