package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 27 | source | |
| - | rw-r--r-- | 228 | 60agda-stdlib.el | |
| - | rw-r--r-- | 6 | agda-stdlib-doc.docs | |
| - | rw-r--r-- | 78 | agda-stdlib.install | |
| - | rw-r--r-- | 5,666 | changelog | |
| - | rw-r--r-- | 2 | compat | |
| - | rw-r--r-- | 3,916 | control | |
| - | rw-r--r-- | 1,727 | copyright | |
| - | rwxr-xr-x | 683 | rules | |
| - | rw-r--r-- | 170 | watch |
