/usr/local/lib/libgmp.so
/usr/local/lib/libgmp.so.10
/usr/local/lib/libgmp.so.10.2.0
/usr/local/lib/libgmpxx.so
/usr/local/lib/libgmpxx.so.4
/usr/local/lib/libgmpxx.so.4.4.0