/dev-libs/mpfr/files/2.4.2/

• ../
• patch01
• patch02
• patch03