elan-init: update 1.3.1 bottle.

2021-11-03 03:56:07 +00:00 · 2021-11-03 03:56:07 +00:00 · 654e765452
parent 4091d018b7
commit 654e765452
1 changed files with 1 additions and 0 deletions
--- a/Formula/elan-init.rb
+++ b/Formula/elan-init.rb
@ -7,6 +7,7 @@ class ElanInit < Formula
  head "https://github.com/leanprover/elan.git"

  bottle do
+    sha256 cellar: :any_skip_relocation, monterey:     "b3fe1b75cae3f28df2396ed8135c81cce9aba4983818c23cc512e9f5bf7fad1d"
    sha256 cellar: :any_skip_relocation, big_sur:      "4f5f7dc532d5336c0cdb6842d24e47f141baaaa421234231c018606c9e640aca"
    sha256 cellar: :any_skip_relocation, catalina:     "da690e90eb12525fb959d870768efc6aafc52bf89079b55dab286aba933cbf47"
    sha256 cellar: :any_skip_relocation, x86_64_linux: "b911325b4e04255311dda1dab5ab19516f3196ba63b11170d782149d2a5f36c7"