Is it possible to install libgmp3c2 libgmp3-dev this package for RHEL 5.0 The gmp library usually builds easily on linux, so you could just grab the source from
http://gmplib.org and build it yourself if you like.
Just unpack the source and run './configure && make && make check'. If all goes well then run 'sudo make install'.
Cheers,
Rob