package info
(click to toggle)
Folder: 2.6.2.2-1.1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 152 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 34 | doc |
|
d | rwxr-xr-x | 75 | src |
 |
- | rw-r--r-- | 36,238 | Agda.cabal |
|
- | rw-r--r-- | 3,342 | CHANGELOG.md |
|
- | rw-r--r-- | 5,265 | LICENSE |
|
- | rw-r--r-- | 1,918 | README.md |
|
- | rw-r--r-- | 4,801 | Setup.hs |
|
- | rw-r--r-- | 557 | stack-8.0.2.yaml |
|
- | rw-r--r-- | 149 | stack-8.10.7.yaml |
|
- | rw-r--r-- | 433 | stack-8.2.2.yaml |
|
- | rw-r--r-- | 333 | stack-8.4.4.yaml |
|
- | rw-r--r-- | 397 | stack-8.6.5.yaml |
|
- | rw-r--r-- | 236 | stack-8.8.4.yaml |
|
- | rw-r--r-- | 649 | stack-9.0.1.yaml |
|
- | rw-r--r-- | 147 | stack-9.0.2.yaml |
|
- | rw-r--r-- | 2,871 | stack-9.2.1.yaml |
|
- | rw-r--r-- | 94 | stack-9.2.2.yaml |