directory / @ 0:e8adb0eb4243

name size permissions
file set-of-agda.agda 1103 -rw-r--r--