wok-stable /gnome-menus/ 2.0

name size permissions
[up] drwxr-xr-x
file receipt 857 -rw-r--r--