/usr/local/lib/libgmp.so
/usr/local/lib/libgmp.so.10
/usr/local/lib/libgmp.so.10.3.2
/usr/local/lib/libgmpxx.so
/usr/local/lib/libgmpxx.so.4
/usr/local/lib/libgmpxx.so.4.5.2