directory / @ 34:b7c4e6276bcf

name size permissions
dir. agda/ drwxr-xr-x
file .hgignore 33 -rw-r--r--
file similar.hs 1540 -rw-r--r--