7 usr/lib/libgmp.so.10.4.0
12 usr/lib/libgmpxx.so.4.6.0
13 #usr/lib/pkgconfig/gmp.pc
14 #usr/lib/pkgconfig/gmpxx.pc
15 usr/lib/sse2/libgmp.so.10
16 usr/lib/sse2/libgmp.so.10.4.0
17 #usr/share/info/gmp.info
18 #usr/share/info/gmp.info-1
19 #usr/share/info/gmp.info-2