lib/libgmp.so.10.3.2 m 555 0 0
lib/libgmp.so.10 m 777 0 0
lib/libgmp.so m 777 0 0
lib/libgmpxx.so.4.5.2 m 555 0 0
lib/libgmpxx.so.4 m 777 0 0
lib/libgmpxx.so m 777 0 0