Files
| -rwxr-xr-x | 3715408 | root | root | /usr/bin/poly |
| -rwxr-xr-x | 3352 | root | root | /usr/bin/polyimport |
| -rw-r--r-- | 1130 | 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.2.1 |
| -rw-r--r-- | 26465 | root | root | /usr/share/doc/polyml-5.2.1/COPYING |
| -rw-r--r-- | 454 | root | root | /usr/share/man/man1/poly.1.gz |
| -rw-r--r-- | 348 | root | root | /usr/share/man/man1/polyimport.1.gz |
