drwxr-xr-x root       root             4096 ./usr
drwxr-xr-x root       root             4096 ./usr/lib
-rw-r--r-- root       root          3751304 ./usr/lib/libgmp.a
-rw-r--r-- root       root           527526 ./usr/lib/libgmpxx.a