| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-02-10 | agda: update 2.4.2.2_1 bottle. | BrewTestBot |
| 2015-02-10 | agda: add standard library. | Alexander Altman |
| 2015-01-25 | agda: ghc is needed at runtime. | Mike McQuaid |
| 2015-01-23 | agda: add 2.4.2.2 bottle. | BrewTestBot |
| 2015-01-23 | agda 2.4.2.2 (new formula) | Alexander Altman |
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |