From ea7e7a4742cbb63a5d4afe4d8207cb441289c4a2 Mon Sep 17 00:00:00 2001 From: BrewTestBot Date: Sun, 27 May 2018 08:32:48 +0000 Subject: [PATCH] idris: update 1.3.0 bottle. --- Formula/idris.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Formula/idris.rb b/Formula/idris.rb index bbb07d5101..bd960952d2 100644 --- 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 "7d878126d8a6317d8325f3f434884eb52fadb6dd712433e18437979531e1e2df" => :high_sierra - sha256 "2944aae8e9baf286e1c46814d88e0487f08a0bdd8279859475de0a9128f772df" => :sierra - sha256 "6e9af20653598297ee21e83c9b7cb44240b7a8797d22bf918548a8cde6f45fdf" => :el_capitan + sha256 "c40c05247f24827d330cf56e5bdb7d1c4e6359e1b7a7d413b069947332464792" => :high_sierra + sha256 "b050ef7399b75ce62c3894017d8db251f815180dea1a9081a18dfa9a29e883e6" => :sierra + sha256 "1a44245d15fe570ac53fa8ec18cd4bce345ee8c5539dd18fd09376fb90402c12" => :el_capitan end depends_on "cabal-install" => :build