drwxr-xr-x root       root             4096 ./usr
drwxr-xr-x root       root             4096 ./usr/lib
-rw-r--r-- root       root          3742804 ./usr/lib/libgmp.a
-rw-r--r-- root       root           541942 ./usr/lib/libgmpxx.a