Tarballs:

• http://www.mpfr.org/mpfr-current/mpfr-4.0.0.tar.bz2
• https://ftp.gnu.org/gnu/mpc/mpc-1.1.0.tar.gz
• https://gforge.inria.fr/frs/download.php/file/37307/mpfi-1.5.2.tar.bz2

CC: @zimmermann6 @kiwifb

Component: packages: standard

Author: Jeroen Demeyer

Branch/Commit: 3c089ff

Reviewer: Paul Zimmermann

Issue created by migration from https://trac.sagemath.org/ticket/24353