| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 50agda-gentoo.el | 318 | logplain |
| -rw-r--r-- | 50agda2-gentoo.el | 317 | logplain |
| -rw-r--r-- | agda-1.0.2-upstream-fixes.patch | 2011 | logplain |
| -rw-r--r-- | agda-2.2.6-emacs.patch | 945 | logplain |
| -rw-r--r-- | agda-make_install.patch | 549 | logplain |
GitWeb