diff options
| author | BrewTestBot | 2015-03-21 23:14:15 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2015-03-22 14:49:43 +0000 |
| commit | 980f80698e5736f34572bc519f1a6ceb128aa763 (patch) | |
| tree | 75e56458a55025e9a2997bc9be50956570d79579 /Library | |
| parent | 052b2e0fee259f18c66cb1cd32bd3a75e44aea3c (diff) | |
| download | homebrew-980f80698e5736f34572bc519f1a6ceb128aa763.tar.bz2 | |
idris: update 0.9.17 bottle.
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/idris.rb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Library/Formula/idris.rb b/Library/Formula/idris.rb index 18714ee91..2595a9150 100644 --- a/Library/Formula/idris.rb +++ b/Library/Formula/idris.rb @@ -9,9 +9,9 @@ class Idris < Formula head "https://github.com/idris-lang/Idris-dev.git" bottle do - sha1 "c25ba4b91264c187485111c5b8c18670c7f0441b" => :yosemite - sha1 "df1773cb1800d6c629db9ba194666faf0019de31" => :mavericks - sha1 "bbbe93cbd829bb02a9cdbb680805470f29702bbb" => :mountain_lion + sha256 "bb4ac9869a6dc76d6b4a8ecb4e6edc2ae476872432f71509134d1c47e51abdee" => :yosemite + sha256 "69b0bbf45713c1819696bffd870c2f74fa7ff3e8b5d68dc1b96e194579ce3f13" => :mavericks + sha256 "bb2d159e3626c95e2f23c20b1e3020151a6ab928b7606fb6790b701360735769" => :mountain_lion end depends_on "ghc" => :build |