/usr/include/gmp.h	0100644
/usr/lib/pkgconfig/gmp.pc	0100644
/usr/lib/libgmp.so	0120777	libgmp.so.10.4.0
/usr/include/gmpxx.h	0100644
/usr/lib/pkgconfig/gmpxx.pc	0100644
/usr/lib/libgmpxx.so	0120777	libgmpxx.so.4.6.0
