Files
| -rwxr-xr-x | 5926840 | root | root | /usr/bin/poly |
| -rwxr-xr-x | 6456 | root | root | /usr/bin/polyimport |
| -rw-r--r-- | 1520 | root | root | /usr/lib/libpolymain.a |
| lrwxrwxrwx | 18 | root | root | /usr/lib/libpolyml.so |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/polyml-5.5 |
| -rw-r--r-- | 1015 | root | root | /usr/share/doc/polyml-5.5/TODO.txt |
| -rw-r--r-- | 1021 | root | root | /usr/share/man/man1/poly.1.gz |
| -rw-r--r-- | 350 | root | root | /usr/share/man/man1/polyimport.1.gz |
