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