Files
| -rwxr-xr-x | 10242656 | root | root | /usr/bin/poly |
| -rwxr-xr-x | 7168 | root | root | /usr/bin/polyimport |
| -rw-r--r-- | 1670 | root | root | /usr/lib64/libpolymain.a |
| lrwxrwxrwx | 18 | root | root | /usr/lib64/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 |
