/dev-libs/mpfr/files/2.2.0/

• ../
• debian-disable-buggy-umul_ppmm.patch
• patch01
• patch02
• patch03
• patch04
• patch06
• patch07
• patch08
• patch09
• patch10
• patch11
• patch12
• patch13
• patch14