BrewTestBot
|
9d8ac9ed0f
|
agda: update 2.4.2.2_1 bottle.
|
2015-02-10 08:41:03 +00:00 |
|
Alexander Altman
|
ef78e7bc82
|
agda: add standard library.
Closes Homebrew/homebrew#36584.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
2015-02-10 08:41:03 +00:00 |
|
Mike McQuaid
|
4dd5afc53e
|
agda: ghc is needed at runtime.
|
2015-01-25 10:05:02 +00:00 |
|
BrewTestBot
|
c0ee78f824
|
agda: add 2.4.2.2 bottle.
|
2015-01-23 17:35:52 +01:00 |
|
Alexander Altman
|
95e2f8dcc9
|
agda 2.4.2.2 (new formula)
Closes Homebrew/homebrew#36095.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
2015-01-23 17:35:43 +01:00 |
|