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/include/
-rw-r--r-- root/root     84275 2013-02-18 22:11 ./usr/include/gmp-i386.h
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/lib32/
-rw-r--r-- root/root       920 2013-02-18 22:22 ./usr/lib32/libmp.la
-rw-r--r-- root/root    723318 2013-02-18 22:22 ./usr/lib32/libgmp.a
-rw-r--r-- root/root       925 2013-02-18 22:22 ./usr/lib32/libgmp.la
-rw-r--r-- root/root       960 2013-02-18 22:22 ./usr/lib32/libgmpxx.la
-rw-r--r-- root/root    329378 2013-02-18 22:22 ./usr/lib32/libmp.a
-rw-r--r-- root/root     35240 2013-02-18 22:22 ./usr/lib32/libgmpxx.a
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-dev/
-rw-r--r-- root/root      1624 2013-02-18 21:51 ./usr/share/doc/lib32gmp3-dev/copyright
-rw-r--r-- root/root      9411 2013-02-18 21:51 ./usr/share/doc/lib32gmp3-dev/changelog.Debian.gz
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib32/libgmpxx.so -> libgmpxx.so.4.1.2
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib32/libgmp.so -> libgmp.so.3.5.2
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib32/libmp.so -> libmp.so.3.1.16