package info
(click to toggle)
Folder: 2.3.0.1-2
| .. (parent) | ||||
| d | rwxr-xr-x | 135 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 26 | dist | |
| d | rwxr-xr-x | 34 | doc | |
| d | rwxr-xr-x | 60 | src | |
| - | rw-r--r-- | 14,795 | Agda.cabal | |
| - | rw-r--r-- | 2,884 | LICENSE | |
| - | rw-r--r-- | 11,022 | README | |
| - | rw-r--r-- | 513 | Setup.hs |