I want to install a recent version of gmp on Fedora. Tried to use yum
[root@tc139 gcc-4.8.2-objdir]# yum list | grep gmp
gmp.i686 4.3.1-6.fc13 @fedora
gmp.x86_64 4.3.1-6.fc13 @fedora
gmp-devel.x86_64 4.3.1-6.fc13 @fedora
gmp-devel.i686 4.3.1-6.fc13 fedora
gmp-ecm.i586 6.2.3-1.fc12 fedora
gmp-ecm.x86_64 6.2.3-1.fc12 fedora
gmp-ecm-devel.i586 6.2.3-1.fc12 fedora
gmp-ecm-devel.x86_64 6.2.3-1.fc12 fedora
gmp-ecm-static.x86_64 6.2.3-1.fc12 fedora
gmp-static.x86_64 4.3.1-6.fc13 fedora
gmpc.x86_64 0.19.1-2.fc13 fedora
gmpc-devel.i686 0.19.1-2.fc13 fedora
gmpc-devel.x86_64 0.19.1-2.fc13 fedora
ocaml-mlgmpidl.x86_64 1.1-4.fc13 fedora
ocaml-mlgmpidl-devel.i686 1.1-4.fc13 fedora
ocaml-mlgmpidl-devel.x86_64 1.1-4.fc13 fedora
ocaml-mlgmpidl-doc.x86_64 1.1-4.fc13 fedora
Thus I cannot install a more recent such as gmp-5.1.2 from Fedora 20 for example
Is this possible to do?