drwxr-xr-x root/root         0 2013-02-18 22:22 ./
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/lib32/
-rw-r--r-- root/root     15904 2013-02-18 22:22 ./usr/lib32/libgmpxx.so.4.1.2
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/share/
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/share/doc/
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/share/doc/lib32gmpxx4/
-rw-r--r-- root/root      1624 2013-02-18 21:51 ./usr/share/doc/lib32gmpxx4/copyright
-rw-r--r-- root/root      9411 2013-02-18 21:51 ./usr/share/doc/lib32gmpxx4/changelog.Debian.gz
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib32/libgmpxx.so.4 -> libgmpxx.so.4.1.2