drwxr-xr-x	root/root	usr/
drwxr-xr-x	root/root	usr/bin/
-rwxr-xr-x	root/root	usr/bin/poly
-rwxr-xr-x	root/root	usr/bin/polyc
-rwxr-xr-x	root/root	usr/bin/polyimport
drwxr-xr-x	root/root	usr/lib/
-rw-r--r--	root/root	usr/lib/libpolymain.a
-rwxr-xr-x	root/root	usr/lib/libpolymain.la
-rw-r--r--	root/root	usr/lib/libpolyml.a
-rwxr-xr-x	root/root	usr/lib/libpolyml.la
lrwxrwxrwx	root/root	usr/lib/libpolyml.so -> libpolyml.so.12.0.0
lrwxrwxrwx	root/root	usr/lib/libpolyml.so.12 -> libpolyml.so.12.0.0
-rwxr-xr-x	root/root	usr/lib/libpolyml.so.12.0.0
drwxr-xr-x	root/root	usr/lib/pkgconfig/
-rw-r--r--	root/root	usr/lib/pkgconfig/polyml.pc
drwxr-xr-x	root/root	usr/lib/polyml/
drwxr-xr-x	root/root	usr/lib/polyml/modules/
-rw-r--r--	root/root	usr/lib/polyml/modules/IntInfAsInt
drwxr-xr-x	root/root	usr/share/
drwxr-xr-x	root/root	usr/share/man/
drwxr-xr-x	root/root	usr/share/man/man1/
-rw-r--r--	root/root	usr/share/man/man1/poly.1.gz
-rw-r--r--	root/root	usr/share/man/man1/polyc.1.gz
-rw-r--r--	root/root	usr/share/man/man1/polyimport.1.gz