-rwxr-xr-x | 2727172 | 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-- | 1862 | 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-- | 3759 | root |
root |
/usr/lib/plt/collects/mred/mred-sig.ss
|
-rw-r--r-- | 227816 | 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-- | 223 | 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-- | 1396 | 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-- | 403 | 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-- | 3183 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred-sig.zo
|
-rw-r--r-- | 569 | root |
root |
/usr/lib/plt/collects/mred/compiled/mred.dep
|
-rw-r--r-- | 188577 | 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-- | 28999 | 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-- | 367 | 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-- | 50607 | root |
root |
/usr/lib/plt/collects/mred/private/compiled/kernel.zo
|
drwxr-xr-x | 168 | root |
root |
/usr/share/doc/plt-mred-202
|
-rw-r--r-- | 47149 | root |
root |
/usr/share/doc/plt-mred-202/HISTORY
|
-rw-r--r-- | 43643 | root |
root |
/usr/share/doc/plt-mred-202/MrEd_100.txt
|
-rw-r--r-- | 10398 | root |
root |
/usr/share/doc/plt-mred-202/MrEd_100_Framework.txt
|
-rw-r--r-- | 362 | root |
root |
/usr/share/doc/plt-mred-202/OPENBUGS
|
-rw-r--r-- | 2804 | root |
root |
/usr/share/man/man1/mred.1.bz2
|