directory / @ 1:298dbf2b420d

name size permissions
file PermAbel.agda 4370 -rw-r--r--