drwxr-xr-x root       root             4096 ./usr
drwxr-xr-x root       root             4096 ./usr/include
-rw-r--r-- root       root            84482 ./usr/include/gmp-64.h
-rw-r--r-- root       root              500 ./usr/include/gmp.h
-rw-r--r-- root       root           129502 ./usr/include/gmpxx.h
drwxr-xr-x root       root             4096 ./usr/lib
lrwxrwxrwx root       root               16 ./usr/lib/libgmp.so -> libgmp.so.10.5.0
lrwxrwxrwx root       root               17 ./usr/lib/libgmpxx.so -> libgmpxx.so.4.7.0
drwxr-xr-x root       root             4096 ./usr/lib/pkgconfig
-rw-r--r-- root       root              225 ./usr/lib/pkgconfig/gmp.pc
-rw-r--r-- root       root              260 ./usr/lib/pkgconfig/gmpxx.pc