-rwxr-xr-x | 659416 | 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.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
|