From 7990665170c459fc40b135b161a35687a414720e Mon Sep 17 00:00:00 2001 From: Michael Cho Date: Sat, 24 Aug 2024 10:19:04 -0400 Subject: [PATCH] dafny: align deprecation with `dotnet@6` and drop Ventura bottle --- Formula/d/dafny.rb | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Formula/d/dafny.rb b/Formula/d/dafny.rb index a5585d93e7dc4..88daa37997bce 100644 --- a/Formula/d/dafny.rb +++ b/Formula/d/dafny.rb @@ -6,13 +6,16 @@ class Dafny < Formula license "MIT" bottle do - sha256 cellar: :any_skip_relocation, arm64_ventura: "bae2544ebaafc7cac9549020796c676fcf7a1ecd252fa6e71777f07a541a0d61" sha256 cellar: :any_skip_relocation, arm64_monterey: "020a5fb249da8a8ee49cbe96d5da92b7a816be5c7181a0f5bc0e628323601544" - sha256 cellar: :any_skip_relocation, ventura: "82cff5f5ba66d21f6d53666e122808436c727ccac2e3647c90a2f0303f2a5a34" sha256 cellar: :any_skip_relocation, monterey: "706f29051c0fc967745e62f901049e9d5f9b82884d2c7c4aa0b1354171cdf7a1" sha256 cellar: :any_skip_relocation, x86_64_linux: "e0358dbc8e9c76c3cc0100212424cfc65cf5e4b872ba28e2c1ca5a7c0a11d0e0" end + # Align deprecation with dotnet@6. Can be undeprecated if dependency is updated. + # Issue ref: https://github.com/dafny-lang/dafny/issues/4948 + # PR ref: https://github.com/dafny-lang/dafny/pull/5322 + deprecate! date: "2024-11-12", because: "uses deprecated `dotnet@6`" + depends_on "dotnet@6" # We use the latest Java version that is compatible with gradlew version in `dafny`. # https://github.com/dafny-lang/dafny/blob/v#{version}/Source/DafnyRuntime/DafnyRuntimeJava/gradle/wrapper/gradle-wrapper.properties