| -rwxr-xr-x | 981808 | root |
root |
/usr/bin/clips
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/clips
|
| -rw-r--r-- | 75474 | root |
root |
/usr/share/clips/clips.hlp
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/clips-6.21
|
| -rw-r--r-- | 133747 | root |
root |
/usr/share/doc/clips-6.21/abstract.pdf
|
| -rw-r--r-- | 435236 | root |
root |
/usr/share/doc/clips-6.21/apg.pdf
|
| -rw-r--r-- | 1080137 | root |
root |
/usr/share/doc/clips-6.21/arch5-1.pdf
|
| -rw-r--r-- | 856818 | root |
root |
/usr/share/doc/clips-6.21/bpg.pdf
|
| -rw-r--r-- | 499044 | root |
root |
/usr/share/doc/clips-6.21/ig.pdf
|
| -rw-r--r-- | 336781 | root |
root |
/usr/share/doc/clips-6.21/usrguide.pdf
|
