/usr/lib/libgmpxx.so.4	0120777	libgmpxx.so.4.6.0
/usr/lib/libgmpxx.so.4.6.0	0100755
