From 2dee14d16022ee945d9296fbcac18bb439c13d74 Mon Sep 17 00:00:00 2001
From: BrewTestBot <homebrew-test-bot@lists.sfconservancy.org>
Date: Thu, 29 Nov 2018 11:33:04 +0000
Subject: [PATCH] lean-cli: update 0.20.0 bottle.

---
 Formula/lean-cli.rb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Formula/lean-cli.rb b/Formula/lean-cli.rb
index 2a978055ba..322d60c29b 100644
--- a/Formula/lean-cli.rb
+++ b/Formula/lean-cli.rb
@@ -7,9 +7,9 @@ class LeanCli < Formula
 
   bottle do
     cellar :any_skip_relocation
-    sha256 "3f1cd9309524378a11a8e5df33b8abf6389b2033084588da021be4e3c8b3c8bb" => :mojave
-    sha256 "b4c4dc6e03087fd9afb848f98cc3ff42b441e58deebf9999f57775817345453c" => :high_sierra
-    sha256 "24244ce4fd50726f72dacd18e83d3e6734b07ad5dabdc49a9ca1ce2f116dff50" => :sierra
+    sha256 "80924c75a754bcd7d11ccaae3183ce55cf9f11077e1de3795030829de49826db" => :mojave
+    sha256 "62985d53a07b0a89fe58f650a1149126e78fa7f83c758282fc962725b83d7227" => :high_sierra
+    sha256 "2f17346d09ebf56da72caaf31b329bca46cc508474eddff6d6b4cce34c298325" => :sierra
   end
 
   depends_on "go" => :build