agda: update 2.5.1.2_1 bottle.

bolmaster2 · Dec 21, 2016 · 50462be · 50462be
1 parent 5347468
commit 50462be
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Formula/agda.rb b/Formula/agda.rb
@@ -18,9 +18,9 @@ class Agda < Formula
   end
 
   bottle do
-    sha256 "5691b10122b6b0c77965dd7ff66be62e7dc297f85431a768d5e9d21250815dfa" => :sierra
-    sha256 "201487d5d08f370884b741e182ac50fbbc2194a8eb7cb925e2a40094a2ed0cf1" => :el_capitan
-    sha256 "6c1a67467b50d108dcd7cd45579fdab225169671318b882b957f8e65818127f9" => :yosemite
+    sha256 "51217caa09ff9af054638d1c1081a684e5a567f40d7990295a73d8a772d51f69" => :sierra
+    sha256 "8ad32ebc68923b448c416312ff350798276f732d0c1ed4eb55a63cc3cd51c148" => :el_capitan
+    sha256 "265ee116d7ee9fa60b76551d444e9f4cd46c3c8c55a60c9f5716ad18ee219b17" => :yosemite
   end
 
   head do