usr/lib64/libgmp.so.10 libgmp.so.10.5.0
usr/lib64/libgmp.so libgmp.so.10.5.0
usr/lib64/libgmpxx.so libgmpxx.so.4.7.0
usr/lib64/libgmpxx.so.4 libgmpxx.so.4.7.0
