Version 4.08.2 Installation

[Tim Sauerwein]

Hello:

The installation web page for GHC 4.08.2 says:
"Note: to get GHC to work on RedHat 7 systems, you need to install these
GMP 2
libraries and development RPMs.  Don't worry, they co-exist with GMP 3,
as supplied
with RedHat 7, quite happily."

However, when I downloaded gmp-2.0.2-13.i386.rpm from the installation
web page,
and then tried to install it by
   rpm -i gmp-2.0.2-13.i386.rpm
the response was
   package gmp-3.0.1-5 (which is newer than gmp-2.0.2-13) is already
installed

What exactly is meant by the words "co-exist with GMP 3"  here?  Is the
intention
that gmp-2.0.2-13 should replace gmp-3.0.1-5?  Or is there a way to
install both
packages at once?

Thank you,
T i m