package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 50 | patches | |
d | rwxr-xr-x | 27 | source | |
- | rw-r--r-- | 33 | agda-bin.install | |
- | rw-r--r-- | 30 | agda-bin.lintian-overrides | |
- | rw-r--r-- | 17,362 | changelog | |
- | rw-r--r-- | 79 | clean | |
- | rw-r--r-- | 3 | compat | |
- | rw-r--r-- | 8,361 | control | |
- | rw-r--r-- | 3,394 | copyright | |
- | rw-r--r-- | 25 | elpa-agda2-mode.elpa | |
- | rw-r--r-- | 158 | libghc-agda-dev.install | |
- | rwxr-xr-x | 981 | rules | |
- | rw-r--r-- | 124 | watch |