| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 42 |  .. |
| -rw-r--r-- | 92298 |  ctf-spec.info |
| -rw-r--r-- | 64832 | ctf-spec.texi |
| -rw-r--r-- | 1372 | local.mk |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 42 | .. |
| -rw-r--r-- | 92298 | ctf-spec.info |
| -rw-r--r-- | 64832 | ctf-spec.texi |
| -rw-r--r-- | 1372 | local.mk |