| 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-2.3.0-emacs.patch | 949 | logplain |
| -rw-r--r-- | agda-2.3.0.1-emacs.patch | 955 | logplain |
| -rw-r--r-- | agda-2.3.0.1-haskell-src-exts-1.13.patch | 1077 | logplain |
| -rw-r--r-- | agda-2.3.0.1-mtl-2.1.patch | 489 | logplain |
| -rw-r--r-- | agda-make_install.patch | 549 | logplain |
GitWeb