directory /share/lua/5.2/luarocks/tools/ @ 12518:2d8fe55c6e65 draft default tip

name size permissions
[up] drwxr-xr-x
file patch.lua 22316 -rw-r--r--
file tar.lua 4671 -rw-r--r--
file zip.lua 8340 -rw-r--r--