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             5931 ./usr/share/info/gmp.info
-rw-r--r-- root       root           302874 ./usr/share/info/gmp.info-1
-rw-r--r-- root       root           216314 ./usr/share/info/gmp.info-2