directory /interps/ghc/ @ 4622:c978b91fd420

name size permissions
[up] drwxr-xr-x
file runghc 104 -rwxr-xr-x