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    177268 2013-02-18 22:22 ./usr/lib32/libmp.so.3.1.16
-rw-r--r-- root/root    326120 2013-02-18 22:22 ./usr/lib32/libgmp.so.3.5.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/lib32gmp3/
-rw-r--r-- root/root      1624 2013-02-18 21:51 ./usr/share/doc/lib32gmp3/copyright
-rw-r--r-- root/root      9411 2013-02-18 21:51 ./usr/share/doc/lib32gmp3/changelog.Debian.gz
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib32/libmp.so.3 -> libmp.so.3.1.16
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib32/libgmp.so.3 -> libgmp.so.3.5.2