BrewTestBot
|
06877d9096
|
agda: update 2.4.2.3_2 bottle.
|
2015-09-24 07:49:42 +01:00 |
|
BrewTestBot
|
533001e750
|
agda: update 2.4.2.3_2 bottle.
|
2015-07-23 05:43:49 +01:00 |
|
Dominyk Tiller
|
600bde2d88
|
agda: revision for ghc
Closes Homebrew/homebrew#42024.
Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
|
2015-07-23 05:43:46 +01:00 |
|
Dominyk Tiller
|
251d985ac0
|
agda: ghc is not runtime
|
2015-07-22 17:24:05 +01:00 |
|
BrewTestBot
|
a6abce3e6c
|
agda: update 2.4.2.3_1 bottle.
|
2015-07-20 08:34:12 +01:00 |
|
Alexander Altman
|
91bd10103e
|
agda: remove epic support
The epic backend is now deprecated.
Closes Homebrew/homebrew#41911.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
2015-07-20 08:34:08 +01:00 |
|
BrewTestBot
|
929e7d2f3b
|
agda: update 2.4.2.3 bottle.
|
2015-07-17 05:10:59 +01:00 |
|
Tomasz Pajor
|
33682144f9
|
agda 2.4.2.3
Closes Homebrew/homebrew#41696.
Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
|
2015-07-17 05:10:52 +01:00 |
|
Baptiste Fontaine
|
07dc2b3c99
|
batch http->https fixes
Closes Homebrew/homebrew#41553.
Signed-off-by: Baptiste Fontaine <batifon@yahoo.fr>
|
2015-07-12 12:53:09 +02:00 |
|
Nikolaus Wittenstein
|
758f6e9533
|
Add descriptions to all remaining homebrew packages
|
2015-06-05 14:47:57 +01:00 |
|
Misty De Meo
|
362d6d1460
|
Cabal: move fails_with to a class method
Fixes Homebrew/homebrew#39950.
|
2015-05-28 19:30:10 -07:00 |
|
Geoff Nixon
|
bacf448d34
|
agda: ghc is a build-time dependency.
Closes Homebrew/homebrew#39209.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
|
2015-05-13 11:30:10 +01:00 |
|
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 |
|