directory / @ 3:6e77fefcbe41

name size permissions
file PermGroup.agda 3799 -rw-r--r--