directory /armadillo-3.900.4/include/ @ 84:55a047986812 tip

name size permissions
[up] drwxr-xr-x
dir. armadillo_bits/ drwxr-xr-x
file armadillo 18287 -rw-r--r--