Including GMP/MPFR in GCC repository?

[FX Coudert]

> Send a bug report to CentOS and Redhat to upgrade their
> gmp-4.1.3 rpm to disable installation of mpfr and request
> an rpm for mpfr-2.2.0+patchs.

I strongly second that. Add yourself to the CC list of the bugzilla  
entries for this problem at bugzilla.redhat.com (you'll see I also am  
in this CC list) and bug them until they move. Which doesn't look  
like it's going to happen fast, unfortunately.

FX