| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð amsfonts | -- | drwxr-xr-x | |
| ð base | -- | drwxr-xr-x | |
| ð config | -- | drwxr-xr-x | |
| ð etex | -- | drwxr-xr-x | |
| ð fp | -- | drwxr-xr-x | |
| ð knuth-lib | -- | drwxr-xr-x | |
| ð knuth-local | -- | drwxr-xr-x | |
| ð makeindex | -- | drwxr-xr-x | |
| ð pgf | -- | drwxr-xr-x | |
| ð rsfs | -- | drwxr-xr-x | |
| ð wasy | -- | drwxr-xr-x |