diff options
| author | BrewTestBot | 2014-11-05 17:22:21 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2014-11-06 08:34:07 +0000 |
| commit | 71d2816c9ecdfae8e08042cb31b45b61a5953db9 (patch) | |
| tree | 1c1a58b0414a95b1e7417edabb09ee66e5faca0f /Library/Formula | |
| parent | 12a36953aaee5c18f8fa5b9298858560927141da (diff) | |
| download | homebrew-71d2816c9ecdfae8e08042cb31b45b61a5953db9.tar.bz2 | |
idris: add 0.9.15.1 bottle.
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/idris.rb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Library/Formula/idris.rb b/Library/Formula/idris.rb index 18adfea89..8d85ba56d 100644 --- a/Library/Formula/idris.rb +++ b/Library/Formula/idris.rb @@ -9,6 +9,12 @@ class Idris < Formula sha1 "064608a43f8544b2c15cefde9e6a22a83ebea904" head "https://github.com/idris-lang/Idris-dev.git" + bottle do + sha1 "1fd1c7c3f223512d2869e8790c4e5afb0f196409" => :yosemite + sha1 "b8a7ffc5ed4429665658e54cefe400bacbc26c53" => :mavericks + sha1 "6dc50e41562eef4d18987f6f673b8a77f22a5512" => :mountain_lion + end + depends_on "ghc" => :build depends_on "cabal-install" => :build depends_on "gmp" |