drwxr-xr-x root       root             4096 ./usr
drwxr-xr-x root       root             4096 ./usr/lib
-rw-r--r-- root       root          2908300 ./usr/lib/libgmp.a
-rw-r--r-- root       root           287338 ./usr/lib/libgmpxx.a