directory /interps/ghc/ @ 11325:d601da239e0c

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