wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

idris: update 0.11.2 bottle.

Browse source
This commit is contained in:
BrewTestBot 2016-05-24 12:26:08 +01:00 committed by ilovezfs
parent 74f11d52c9
commit 4a93d6fcfb
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/idris.rb
View file

@ -10,9 +10,9 @@ class Idris < Formula
head "https://github.com/idris-lang/Idris-dev.git"
bottle do
sha256 "26ad3069842ab7f5cec28374b1871c5c632d0a8e937fa06f29edaca4b08d8273" => :el_capitan
sha256 "157bbd32de94ee929dc86819d47847dff77c1504ed4946a08a234095af9f6c77" => :yosemite
sha256 "5dc7e9ea4fd50fef6d95144a239c848022af3ae6a6b2bde29340ec2070e37879" => :mavericks
sha256 "6528a78528edb4c8d62447d5efcccc4754e69897938f28ce27ab222adab9cb45" => :el_capitan
sha256 "725374c20e56df884f6332c9ecc6a75eb04bf1adb6c5b6db50c5c5c06d627031" => :yosemite
sha256 "652da19c6f08b65483df86768813f6ce7eca2d8c31cf0a0f4f624a22344cdbef" => :mavericks
end
depends_on "ghc" => :build