-rwxr-xr-x | 2678056 | root |
root |
/usr/bin/mred
|
drwxr-xr-x | 256 | root |
root |
/usr/lib/plt/collects/mred
|
drwxr-xr-x | 320 | root |
root |
/usr/lib/plt/collects/mred/compiled
|
-rw-r--r-- | 774 | root |
root |
/usr/lib/plt/collects/mred/doc.txt
|
-rw-r--r-- | 292 | root |
root |
/usr/lib/plt/collects/mred/edit-main.ss
|
-rw-r--r-- | 2478 | root |
root |
/usr/lib/plt/collects/mred/edit.ss
|
-rw-r--r-- | 91 | root |
root |
/usr/lib/plt/collects/mred/info.ss
|
-rw-r--r-- | 4070 | root |
root |
/usr/lib/plt/collects/mred/mred-sig.ss
|
-rw-r--r-- | 269298 | root |
root |
/usr/lib/plt/collects/mred/mred.ss
|
drwxr-xr-x | 128 | root |
root |
/usr/lib/plt/collects/mred/private
|
-rw-r--r-- | 131 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit-main.dep
|
-rw-r--r-- | 225 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit-main.zo
|
-rw-r--r-- | 130 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit.dep
|
-rw-r--r-- | 1865 | root |
root |
/usr/lib/plt/collects/mred/compiled/edit.zo
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/plt/collects/mred/compiled/info.dep
|
-rw-r--r-- | 395 | root |
root |
/usr/lib/plt/collects/mred/compiled/info.zo
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.dep
|
-rw-r--r-- | 3455 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.zo
|
-rw-r--r-- | 653 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.dep
|
-rw-r--r-- | 235283 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.zo
|
drwxr-xr-x | 160 | root |
root |
/usr/lib/plt/collects/mred/private/compiled
|
-rw-r--r-- | 73 | root |
root |
/usr/lib/plt/collects/mred/private/info.ss
|
-rw-r--r-- | 30250 | root |
root |
/usr/lib/plt/collects/mred/private/kernel.ss
|
-rw-r--r-- | 49 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/info.dep
|
-rw-r--r-- | 359 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/info.zo
|
-rw-r--r-- | 47 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kernel.dep
|
-rw-r--r-- | 52507 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kernel.zo
|
drwxr-xr-x | 168 | root |
root |
/usr/share/doc/plt-mred-205
|
-rw-r--r-- | 50874 | root |
root |
/usr/share/doc/plt-mred-205/HISTORY
|
-rw-r--r-- | 43643 | root |
root |
/usr/share/doc/plt-mred-205/MrEd_100.txt
|
-rw-r--r-- | 10398 | root |
root |
/usr/share/doc/plt-mred-205/MrEd_100_Framework.txt
|
-rw-r--r-- | 362 | root |
root |
/usr/share/doc/plt-mred-205/OPENBUGS
|
-rw-r--r-- | 2886 | root |
root |
/usr/share/man/man1/mred.1.bz2
|