| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | agda-bin.install | 33 | logplain |
| -rw-r--r-- | agda-bin.lintian-overrides | 30 | logplain |
| -rw-r--r-- | changelog | 14886 | logplain |
| -rw-r--r-- | clean | 79 | logplain |
| -rw-r--r-- | compat | 3 | logplain |
| -rw-r--r-- | control | 9275 | logplain |
| -rw-r--r-- | copyright | 3404 | logplain |
| -rw-r--r-- | elpa-agda2-mode.elpa | 25 | logplain |
| -rw-r--r-- | libghc-agda-dev.install | 158 | logplain |
| d--------- | patches | 34 | logplain |
| -rwxr-xr-x | rules | 981 | logplain |
| d--------- | source | 34 | logplain |
| -rw-r--r-- | watch | 123 | logplain |
 |
index : DHG_packages | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |