drwxr-xr-x root/root 0 2015-02-26 15:58 ./ drwxr-xr-x root/root 0 2015-02-26 15:58 ./usr/ drwxr-xr-x root/root 0 2015-02-26 15:58 ./usr/lib/ -rw-r--r-- root/root 1747544 2015-02-26 15:58 ./usr/lib/libflint-2.4.4.so drwxr-xr-x root/root 0 2015-02-26 15:58 ./usr/share/ drwxr-xr-x root/root 0 2015-02-26 15:58 ./usr/share/doc/ drwxr-xr-x root/root 0 2015-02-26 15:58 ./usr/share/doc/libflint-2.4.4/ -rw-r--r-- root/root 4236 2014-09-24 07:42 ./usr/share/doc/libflint-2.4.4/copyright -rw-r--r-- root/root 11815 2014-06-20 01:33 ./usr/share/doc/libflint-2.4.4/changelog.gz -rw-r--r-- root/root 944 2014-09-26 07:22 ./usr/share/doc/libflint-2.4.4/changelog.Debian.gz drwxr-xr-x root/root 0 2015-02-26 15:58 ./usr/share/flint/ -rw-r--r-- root/root 876335 2014-06-20 01:33 ./usr/share/flint/CPimport.txt