usr/local/lib/libgmp.so.10.4.0
usr/local/lib/libgmpxx.so.4.6.0
usr/local/lib/pkgconfig/gmpxx.pc
usr/local/lib/pkgconfig/gmp.pc
usr/local/lib/libgmpxx.so
usr/local/lib/libgmpxx.so.4
usr/local/lib/libgmp.so
usr/local/lib/libgmp.so.10