| Age | Commit message | Author |
|---|---|---|
| 2016-04-19 | Updated to 0.11 | Leif Warner |
| 2015-09-01 | Add zlib dep mistakenly omitted. | Leif Warner |
| 2015-09-01 | Updated haskell-annotated-wl-pprint version constraint in wake of 0.9.19 release | Leif Warner |
| 2015-08-26 | Initial import v0.9.18.r472.7642503 | Leif Warner |
| Clone | ||
| https://aur.archlinux.org/idris-git.git/ | ||