dafny: update 3.4.1 bottle.

2022-02-18 03:26:54 +00:00 · 2022-02-18 03:26:54 +00:00 · 3453c8c1a4
parent 88f2e4b7e9
commit 3453c8c1a4
1 changed files with 1 additions and 0 deletions
--- a/Formula/dafny.rb
+++ b/Formula/dafny.rb
@ -14,6 +14,7 @@ class Dafny < Formula
    sha256 cellar: :any_skip_relocation, arm64_big_sur: "cafe436fc36a25d764dbd6df575e439946b0f053cb345dfadd24f985f267a249"
    sha256 cellar: :any_skip_relocation, big_sur:       "a3d5478bedb09f2fd726b742f22487a4c871b4332b605a5e01798c5c09cc4c67"
    sha256 cellar: :any_skip_relocation, catalina:      "b0fa4440abcd948f144364214b46696ef42588ae7b660c94504d42959fa53f77"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "1cb42e002a7c4e005e17b60c5676aa7780acad2b598609b7a51249e5226cc205"
  end

  depends_on "gradle" => :build