directory / @ 0:696cb69c25f0

name size permissions
file bt.agda 1293 -rw-r--r--