| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |