directory / @ 2:0af3d02b3474

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