package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 58 | patches | |
| d | rwxr-xr-x | 19 | source | |
| - | rw-r--r-- | 537 | 50agda.el | |
| - | rw-r--r-- | 131 | agda-mode.install | |
| - | rw-r--r-- | 7,006 | changelog | |
| - | rw-r--r-- | 79 | clean | |
| - | rw-r--r-- | 2 | compat | |
| - | rw-r--r-- | 6,595 | control | |
| - | rw-r--r-- | 3,421 | copyright | |
| - | rw-r--r-- | 82 | libghc-agda-dev.install | |
| - | rwxr-xr-x | 233 | rules | |
| - | rw-r--r-- | 212 | watch |