/usr/include/gmp.h	79838	root:root	644	
/usr/include/gmpxx.h	115974	root:root	644	
/usr/lib/libgmp.a	1168250	root:root	644	
/usr/lib/libgmp.la	908	root:root	755	
/usr/lib/libgmp.so	16	root:root	777	libgmp.so.10.1.3
/usr/lib/libgmp.so.10	16	root:root	777	libgmp.so.10.1.3
/usr/lib/libgmp.so.10.1.3	511386	root:root	755	
/usr/lib/libgmpxx.a	51518	root:root	644	
/usr/lib/libgmpxx.la	968	root:root	755	
/usr/lib/libgmpxx.so	17	root:root	777	libgmpxx.so.4.3.3
/usr/lib/libgmpxx.so.4	17	root:root	777	libgmpxx.so.4.3.3
/usr/lib/libgmpxx.so.4.3.3	38435	root:root	755	
/usr/share/info/dir	63381	root:root	644	
/usr/share/info/gmp.info	6064	root:root	644	
/usr/share/info/gmp.info-1	300777	root:root	644	
/usr/share/info/gmp.info-2	194195	root:root	644