diff options
| author | BrewTestBot | 2015-01-23 05:10:47 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2015-01-23 17:35:52 +0100 |
| commit | abd99b1e05394fecb068b04c4ec420ef041da1e9 (patch) | |
| tree | 118a713bfe1e1d07edc95b37c3bccf83d1002c59 /Library/Formula | |
| parent | 24383c0aa9ecfdbfc37ee1c54d56cab289ba2fa6 (diff) | |
| download | homebrew-abd99b1e05394fecb068b04c4ec420ef041da1e9.tar.bz2 | |
agda: add 2.4.2.2 bottle.
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/agda.rb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Library/Formula/agda.rb b/Library/Formula/agda.rb index ec8fdf7dc..cac77dcf0 100644 --- a/Library/Formula/agda.rb +++ b/Library/Formula/agda.rb @@ -7,6 +7,12 @@ class Agda < Formula url "http://hackage.haskell.org/package/Agda-2.4.2.2/Agda-2.4.2.2.tar.gz" sha1 "fbdf7df3d5a036e683210ac7ccf4f8ec0c9fea05" + bottle do + sha1 "d0827796e1d0ac2ba33ef73c8bec7f99ee95b02a" => :yosemite + sha1 "7e49026d601135596b830b4a6b7032e463b1a51c" => :mavericks + sha1 "0db7eb99ae43f17dc0509dbbf48341c20c534ef4" => :mountain_lion + end + devel do url "https://github.com/agda/agda.git", :branch => "maint-2.4.2" version "2.4.2.3-beta" |