drwxr-xr-x root/root         0 2010-07-27 15:57 ./
drwxr-xr-x root/root         0 2010-07-27 15:57 ./usr/
drwxr-xr-x root/root         0 2010-07-27 15:57 ./usr/share/
drwxr-xr-x root/root         0 2010-07-27 15:57 ./usr/share/doc/
drwxr-xr-x root/root         0 2010-07-27 15:57 ./usr/share/doc/sollya/
-rw-r--r-- root/root       603 2010-07-27 15:57 ./usr/share/doc/sollya/copyright
-rw-r--r-- root/root    844046 2010-07-27 15:57 ./usr/share/doc/sollya/sollya-2.0.pdf
-rw-r--r-- root/root       147 2010-07-27 15:57 ./usr/share/doc/sollya/changelog.Debian.gz
drwxr-xr-x root/root         0 2010-07-27 15:57 ./usr/bin/
-rwxr-xr-x root/root   2734497 2010-07-27 15:57 ./usr/bin/sollya
drwxr-xr-x root/root         0 2010-07-27 15:57 ./usr/lib/
-rwxr-xr-x root/root      1053 2010-07-27 15:57 ./usr/lib/libsollya.la
-rw-r--r-- root/root   4666958 2010-07-27 15:57 ./usr/lib/libsollya.a
drwxr-xr-x root/root         0 2010-07-27 15:57 ./usr/include/
-rw-r--r-- root/root      9408 2010-07-27 15:57 ./usr/include/sollya.h