/usr/local/lib/libgmp.so
/usr/local/lib/libgmp.so.10
/usr/local/lib/libgmp.so.10.0.2
/usr/local/lib/libgmpxx.so
/usr/local/lib/libgmpxx.so.4
/usr/local/lib/libgmpxx.so.4.2.2
/usr/local/lib/libmp.so
/usr/local/lib/libmp.so.3
/usr/local/lib/libmp.so.3.1.22