package info
(click to toggle)
Folder: 2.6.4.3-1
| .. (parent) | ||||
| d | rwxr-xr-x | 127 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 56 | doc | |
| d | rwxr-xr-x | 75 | src | |
| - | rw-r--r-- | 29,214 | Agda.cabal | |
| - | rw-r--r-- | 672 | CHANGELOG.md | |
| - | rw-r--r-- | 2,332 | LICENSE | |
| - | rw-r--r-- | 1,733 | README.md | |
| - | rw-r--r-- | 5,316 | Setup.hs | |
| - | rw-r--r-- | 129 | stack-8.10.7.yaml | |
| - | rw-r--r-- | 285 | stack-8.6.5.yaml | |
| - | rw-r--r-- | 165 | stack-8.8.4.yaml | |
| - | rw-r--r-- | 128 | stack-9.0.2.yaml | |
| - | rw-r--r-- | 68 | stack-9.2.8.yaml | |
| - | rw-r--r-- | 151 | stack-9.4.8.yaml | |
| - | rw-r--r-- | 68 | stack-9.6.4.yaml | |
| - | rw-r--r-- | 77 | stack-9.8.1.yaml |