wok-next /gcc/

name size permissions
[up] drwxr-xr-x
dir. stuff/ patches drwxr-xr-x
file .icon.png 2231 -rw-r--r--
file description.gcc-lib-base.txt 167 -rw-r--r--
file description.gcc.txt 169 -rw-r--r--
file receipt 4350 -rw-r--r--