lean-cli: update 0.20.0 bottle.
This commit is contained in:
parent
f1de175d71
commit
2dee14d160
1 changed files with 3 additions and 3 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue