From ed2f3d47602a067e3cbcd4a0350ed1cee81cf9a4 Mon Sep 17 00:00:00 2001 From: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com> Date: Fri, 29 Sep 2023 05:07:49 +0000 Subject: [PATCH 1/2] dafny 4.3.0 --- Formula/d/dafny.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/d/dafny.rb b/Formula/d/dafny.rb index bed5a7ccc4322..d23775c25cc09 100644 --- a/Formula/d/dafny.rb +++ b/Formula/d/dafny.rb @@ -1,8 +1,8 @@ class Dafny < Formula desc "Verification-aware programming language" homepage "https://github.com/dafny-lang/dafny/blob/master/README.md" - url "https://github.com/dafny-lang/dafny/archive/refs/tags/v4.2.0.tar.gz" - sha256 "b3f23c9fd7cb13ffa785928ca6a8b61da316564000948ce00eda2ac3d087760a" + url "https://github.com/dafny-lang/dafny/archive/refs/tags/v4.3.0.tar.gz" + sha256 "f5cb71b3ea0ee0008291cf48540797f62d336f01330e8e519329dcdd1e78ce92" license "MIT" livecheck do From ee83d4e65193191791bd23541aeed9d157578ee4 Mon Sep 17 00:00:00 2001 From: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com> Date: Fri, 29 Sep 2023 08:02:10 +0000 Subject: [PATCH 2/2] dafny: update 4.3.0 bottle. --- Formula/d/dafny.rb | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/Formula/d/dafny.rb b/Formula/d/dafny.rb index d23775c25cc09..e43e7910cf005 100644 --- a/Formula/d/dafny.rb +++ b/Formula/d/dafny.rb @@ -11,13 +11,11 @@ class Dafny < Formula end bottle do - sha256 cellar: :any_skip_relocation, arm64_ventura: "400e27e03e51b89dd4c2898b52a26dc23614d1eae927bf19fe3b8bda2cdf0689" - sha256 cellar: :any_skip_relocation, arm64_monterey: "bf0071788f21220143ede462f73a3efc0d84859f2860aedcade09067793a2f9f" - sha256 cellar: :any_skip_relocation, arm64_big_sur: "a91553e15fcd64f3e46eaff906228f60e5f16b747e3ccc84157295b98533c8d5" - sha256 cellar: :any_skip_relocation, ventura: "e466bcdc357080ea39c1d5ea2161b3d0ef4e034ae1405fd79e4a3ac78c5e262a" - sha256 cellar: :any_skip_relocation, monterey: "b1eab1ae0988638e737b556dacb0e3a8ce2235042dcec646d83fb6b0bd5e4492" - sha256 cellar: :any_skip_relocation, big_sur: "2c4ba020f8ad3a45db63e5de990aaba17f67ecd14539b61cec697d3bb3f020f0" - sha256 cellar: :any_skip_relocation, x86_64_linux: "d30205455cc20d5cc7bb4c843dc7f980f3022f6c31cb3d56201755c680781bcb" + sha256 cellar: :any_skip_relocation, arm64_ventura: "94e5c99f96e61b34bd0fbf4ae0911ed51494331cfeb0a371ac7d72a003798173" + sha256 cellar: :any_skip_relocation, arm64_monterey: "b144d10a4b6d837d95935d61542ce099144b6ef04862f2d37daf9f7074095e5c" + sha256 cellar: :any_skip_relocation, ventura: "b5c1248f3838792406c6eb24c80af33adf91a37da832bddd5b672650e0da062e" + sha256 cellar: :any_skip_relocation, monterey: "8b7ad20eca0adc568b453dbdc8e6c34e512c0d630953c8bd48013a5d1853658d" + sha256 cellar: :any_skip_relocation, x86_64_linux: "f36f301181e63c313fe4d805c8fd5524e6eccfd2086f2c50c9571f0e7134c1f3" end depends_on "dotnet@6"