http://vault.centos.org/6.3/os/x86_64/Packages/
http://rpmfind.net/linux/rpm2html/search.php?query=libgmp.so.3