idris: update 0.11 bottle.

2016-03-27 23:05:31 +01:00 · 2016-03-27 23:05:31 +01:00 · a9d10e66a2
parent ec35c6a73c
commit a9d10e66a2
1 changed files with 3 additions and 3 deletions
--- a/Formula/idris.rb
+++ b/Formula/idris.rb
@ -10,9 +10,9 @@ class Idris < Formula
  head "https://github.com/idris-lang/Idris-dev.git"

  bottle do
-    sha256 "86a381352b9859d6c65172970753ad87e0ba7446b68c929f364d2488c8022119" => :el_capitan
-    sha256 "6324ae196d2684ebb7e0b53c1f7e6f9b31827ee1969f72aa481de1b177a39832" => :yosemite
-    sha256 "269885b9bd7b6931a88e2621427082088c4b3db896e3943b9cf0745732d1e63f" => :mavericks
+    sha256 "26ad3069842ab7f5cec28374b1871c5c632d0a8e937fa06f29edaca4b08d8273" => :el_capitan
+    sha256 "157bbd32de94ee929dc86819d47847dff77c1504ed4946a08a234095af9f6c77" => :yosemite
+    sha256 "5dc7e9ea4fd50fef6d95144a239c848022af3ae6a6b2bde29340ec2070e37879" => :mavericks
  end

  depends_on "ghc" => :build