drwxr-xr-x root       root             4096 ./usr
drwxr-xr-x root       root             4096 ./usr/share
drwxr-xr-x root       root             4096 ./usr/share/info
-rw-r--r-- root       root             5932 ./usr/share/info/gmp.info
-rw-r--r-- root       root           300383 ./usr/share/info/gmp.info-1
-rw-r--r-- root       root           223745 ./usr/share/info/gmp.info-2