directory /tex/spec/src/ @ 1:73127e0ab57c

name size permissions
[up] drwxr-xr-x
file agda-mcg.agda 284 -rw-r--r--
file agda-mcg.agda.replaced 398 -rw-r--r--