drwxr-xr-x root/root         0 2013-02-18 22:22 ./
drwxr-xr-x root/root         0 2013-02-18 22:10 ./usr/
drwxr-xr-x root/root         0 2013-02-18 22:10 ./usr/include/
-rw-r--r-- root/root    114898 2013-02-18 22:10 ./usr/include/gmpxx.h
-rw-r--r-- root/root      5374 2013-02-18 22:10 ./usr/include/mp.h
-rw-r--r-- root/root     84270 2013-02-18 22:00 ./usr/include/gmp-x86_64.h
-rw-r--r-- root/root      2152 2013-02-18 22:00 ./usr/include/gmp.h
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/lib/
-rw-r--r-- root/root       918 2013-02-18 22:10 ./usr/lib/libmp.la
-rw-r--r-- root/root   1000546 2013-02-18 22:22 ./usr/lib/libgmp.a
-rw-r--r-- root/root       923 2013-02-18 22:10 ./usr/lib/libgmp.la
-rw-r--r-- root/root       956 2013-02-18 22:10 ./usr/lib/libgmpxx.la
-rw-r--r-- root/root    453016 2013-02-18 22:22 ./usr/lib/libmp.a
-rw-r--r-- root/root     48664 2013-02-18 22:22 ./usr/lib/libgmpxx.a
drwxr-xr-x root/root         0 2013-02-18 22:10 ./usr/share/
drwxr-xr-x root/root         0 2013-02-18 22:10 ./usr/share/doc/
drwxr-xr-x root/root         0 2013-02-18 22:22 ./usr/share/doc/libgmp3-dev/
-rw-r--r-- root/root      1624 2013-02-18 21:51 ./usr/share/doc/libgmp3-dev/copyright
-rw-r--r-- root/root      9411 2013-02-18 21:51 ./usr/share/doc/libgmp3-dev/changelog.Debian.gz
-rw-r--r-- root/root    220797 2010-01-08 05:09 ./usr/share/doc/libgmp3-dev/changelog.gz
-rw-r--r-- root/root      1182 2010-01-08 05:09 ./usr/share/doc/libgmp3-dev/AUTHORS
-rw-r--r-- root/root      3979 2010-01-08 05:09 ./usr/share/doc/libgmp3-dev/README
-rw-r--r-- root/root      6602 2010-01-08 05:09 ./usr/share/doc/libgmp3-dev/NEWS.gz
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib/libgmpxx.so -> libgmpxx.so.4.1.2
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib/libgmp.so -> libgmp.so.3.5.2
lrwxrwxrwx root/root         0 2013-02-18 22:22 ./usr/lib/libmp.so -> libmp.so.3.1.16