usr/local/lib/libgmp.so.10.1.2
usr/local/lib/libgmpxx.so.4.3.2
usr/local/lib/libgmpxx.so
usr/local/lib/libgmpxx.so.4
usr/local/lib/libgmp.so
usr/local/lib/libgmp.so.10