drwxr-xr-x root/root         0 2010-07-27 17:02 ./
drwxr-xr-x root/root         0 2010-07-27 17:02 ./usr/
drwxr-xr-x root/root         0 2010-07-27 17:02 ./usr/share/
drwxr-xr-x root/root         0 2010-07-27 17:02 ./usr/share/doc/
drwxr-xr-x root/root         0 2010-07-27 17:02 ./usr/share/doc/sollya/
-rw-r--r-- root/root    844046 2010-07-27 17:02 ./usr/share/doc/sollya/sollya-2.0.pdf
-rw-r--r-- root/root       147 2010-07-27 17:02 ./usr/share/doc/sollya/changelog.Debian.gz
-rw-r--r-- root/root       603 2010-07-27 17:02 ./usr/share/doc/sollya/copyright
drwxr-xr-x root/root         0 2010-07-27 17:02 ./usr/bin/
-rwxr-xr-x root/root   2372443 2010-07-27 17:02 ./usr/bin/sollya
drwxr-xr-x root/root         0 2010-07-27 17:02 ./usr/lib/
-rwxr-xr-x root/root      1049 2010-07-27 17:02 ./usr/lib/libsollya.la
-rw-r--r-- root/root   3123704 2010-07-27 17:02 ./usr/lib/libsollya.a
drwxr-xr-x root/root         0 2010-07-27 17:02 ./usr/include/
-rw-r--r-- root/root      9408 2010-07-27 17:02 ./usr/include/sollya.h