directory / @ 6:c1b3c25d7cef

name size permissions
file PermGroup.agda 3776 -rw-r--r--
file Solvable.agda 4414 -rw-r--r--