| -rwxr-xr-x | 23632 | root |
root |
/usr/bin/mred
|
| drwxr-xr-x | 154 | root |
root |
/usr/lib64/plt/collects/mred
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/plt/collects/mred/compiled
|
| -rw-r--r-- | 774 | root |
root |
/usr/lib64/plt/collects/mred/doc.txt
|
| -rw-r--r-- | 292 | root |
root |
/usr/lib64/plt/collects/mred/edit-main.ss
|
| -rw-r--r-- | 4939 | root |
root |
/usr/lib64/plt/collects/mred/edit.ss
|
| -rw-r--r-- | 148 | root |
root |
/usr/lib64/plt/collects/mred/info.ss
|
| -rw-r--r-- | 4102 | root |
root |
/usr/lib64/plt/collects/mred/mred-sig.ss
|
| -rw-r--r-- | 271100 | root |
root |
/usr/lib64/plt/collects/mred/mred.ss
|
| drwxr-xr-x | 72 | root |
root |
/usr/lib64/plt/collects/mred/private
|
| -rw-r--r-- | 577 | root |
root |
/usr/lib64/plt/collects/mred/script-installer.ss
|
| -rw-r--r-- | 84 | root |
root |
/usr/lib64/plt/collects/mred/compiled/edit-main.dep
|
| -rw-r--r-- | 225 | root |
root |
/usr/lib64/plt/collects/mred/compiled/edit-main.zo
|
| -rw-r--r-- | 82 | root |
root |
/usr/lib64/plt/collects/mred/compiled/edit.dep
|
| -rw-r--r-- | 3659 | root |
root |
/usr/lib64/plt/collects/mred/compiled/edit.zo
|
| -rw-r--r-- | 48 | root |
root |
/usr/lib64/plt/collects/mred/compiled/info.dep
|
| -rw-r--r-- | 467 | root |
root |
/usr/lib64/plt/collects/mred/compiled/info.zo
|
| -rw-r--r-- | 48 | root |
root |
/usr/lib64/plt/collects/mred/compiled/mred-sig.dep
|
| -rw-r--r-- | 3484 | root |
root |
/usr/lib64/plt/collects/mred/compiled/mred-sig.zo
|
| -rw-r--r-- | 374 | root |
root |
/usr/lib64/plt/collects/mred/compiled/mred.dep
|
| -rw-r--r-- | 230796 | root |
root |
/usr/lib64/plt/collects/mred/compiled/mred.zo
|
| -rw-r--r-- | 52 | root |
root |
/usr/lib64/plt/collects/mred/compiled/script-installer.dep
|
| -rw-r--r-- | 522 | root |
root |
/usr/lib64/plt/collects/mred/compiled/script-installer.zo
|
| drwxr-xr-x | 111 | root |
root |
/usr/lib64/plt/collects/mred/private/compiled
|
| -rw-r--r-- | 73 | root |
root |
/usr/lib64/plt/collects/mred/private/info.ss
|
| -rw-r--r-- | 30552 | root |
root |
/usr/lib64/plt/collects/mred/private/kernel.ss
|
| -rw-r--r-- | 17901 | root |
root |
/usr/lib64/plt/collects/mred/private/seqcontract.ss
|
| -rw-r--r-- | 48 | root |
root |
/usr/lib64/plt/collects/mred/private/compiled/info.dep
|
| -rw-r--r-- | 357 | root |
root |
/usr/lib64/plt/collects/mred/private/compiled/info.zo
|
| -rw-r--r-- | 46 | root |
root |
/usr/lib64/plt/collects/mred/private/compiled/kernel.dep
|
| -rw-r--r-- | 53705 | root |
root |
/usr/lib64/plt/collects/mred/private/compiled/kernel.zo
|
| -rw-r--r-- | 125 | root |
root |
/usr/lib64/plt/collects/mred/private/compiled/seqcontract.dep
|
| -rw-r--r-- | 28169 | root |
root |
/usr/lib64/plt/collects/mred/private/compiled/seqcontract.zo
|
| drwxr-xr-x | 95 | root |
root |
/usr/share/doc/plt-mred-208
|
| -rw-r--r-- | 18854 | root |
root |
/usr/share/doc/plt-mred-208/HISTORY.gz
|
| -rw-r--r-- | 11139 | root |
root |
/usr/share/doc/plt-mred-208/MrEd_100.txt.gz
|
| -rw-r--r-- | 2767 | root |
root |
/usr/share/doc/plt-mred-208/MrEd_100_Framework.txt.gz
|
| -rw-r--r-- | 259 | root |
root |
/usr/share/doc/plt-mred-208/OPENBUGS.gz
|
| -rw-r--r-- | 2848 | root |
root |
/usr/share/man/man1/mred.1.gz
|
