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