drwxr-xr-x root/root         0 2014-06-26 18:14 ./
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/share/
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/share/doc/
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/share/doc/libfplll-dev/
-rw-r--r-- root/root       195 2014-05-18 08:12 ./usr/share/doc/libfplll-dev/README.Debian
-rw-r--r-- root/root      1101 2014-05-18 20:43 ./usr/share/doc/libfplll-dev/changelog.Debian.gz
-rw-r--r-- root/root      1541 2013-05-30 16:50 ./usr/share/doc/libfplll-dev/changelog.gz
-rw-r--r-- root/root     31703 2013-05-30 16:50 ./usr/share/doc/libfplll-dev/README.html
-rw-r--r-- root/root      1979 2014-05-18 08:12 ./usr/share/doc/libfplll-dev/copyright
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/share/doc-base/
-rw-r--r-- root/root       354 2014-05-18 08:12 ./usr/share/doc-base/libfplll
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/include/
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/include/fplll/
-rw-r--r-- root/root      8612 2014-06-26 18:14 ./usr/include/fplll/numvect.h
-rw-r--r-- root/root     16317 2014-06-26 18:14 ./usr/include/fplll/dpe.h
-rw-r--r-- root/root     10258 2014-06-26 18:14 ./usr/include/fplll/matrix.h
-rw-r--r-- root/root     47036 2014-06-26 18:14 ./usr/include/fplll/nr.cpp
-rw-r--r-- root/root     15858 2014-06-26 18:14 ./usr/include/fplll/nr.h
-rw-r--r-- root/root      1519 2014-06-26 18:14 ./usr/include/fplll/svpcvp.h
-rw-r--r-- root/root      3644 2014-06-26 18:14 ./usr/include/fplll/fplllv31.h
-rw-r--r-- root/root      4731 2014-06-26 18:14 ./usr/include/fplll/defs.h
-rw-r--r-- root/root      2988 2014-06-26 18:14 ./usr/include/fplll/fplll.h
-rw-r--r-- root/root      9740 2014-06-26 18:14 ./usr/include/fplll/matrix.cpp
-rw-r--r-- root/root      5561 2014-06-26 18:14 ./usr/include/fplll/util.h
-rw-r--r-- root/root        48 2014-06-26 18:14 ./usr/include/fplll.h
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/lib/
drwxr-xr-x root/root         0 2014-06-26 18:14 ./usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root    817032 2014-06-26 18:14 ./usr/lib/x86_64-linux-gnu/libfplll.a
lrwxrwxrwx root/root         0 2014-06-26 18:14 ./usr/lib/x86_64-linux-gnu/libfplll.so -> libfplll.so.0.1.0