Skip to content

Commit 443d8e9

Browse files
committed
z3: update 4.15.4 bottle.
1 parent 7f06d6a commit 443d8e9

File tree

1 file changed

+6
-7
lines changed

1 file changed

+6
-7
lines changed

Formula/z/z3.rb

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -13,13 +13,12 @@ class Z3 < Formula
1313
end
1414

1515
bottle do
16-
rebuild 1
17-
sha256 cellar: :any, arm64_tahoe: "b12ee473cae323d284ad873f698e5d3106b5b4ec889c0ff8e768c60607d27ad2"
18-
sha256 cellar: :any, arm64_sequoia: "5a7c6a7e08ad16411cdfb035d9ab041b7a6e6cb7bbea3f5da76eeaa4e2262fb8"
19-
sha256 cellar: :any, arm64_sonoma: "f10289b165f59ae8ef6b36d96fa77f56845cdca0720980142f3325ecb1bbd0e2"
20-
sha256 cellar: :any, sonoma: "b4fc7383cb2109121269e77d3308c30ed7e9b3a4f688717a62f26251d2a7e56c"
21-
sha256 cellar: :any_skip_relocation, arm64_linux: "1b2cabed7c95db0fcc44d0c0a1195b1d0433250ecf2d39aba20c18ac8fabeda6"
22-
sha256 cellar: :any_skip_relocation, x86_64_linux: "6257625e9939d4b56b7870c4fcae0e8547029438f28c02162baaf662778c7b89"
16+
sha256 cellar: :any, arm64_tahoe: "9f57f90f63a0995a9b56b6f4c94a1c29bd8fd9a474e09f78cba7f64aaf25708c"
17+
sha256 cellar: :any, arm64_sequoia: "df9a167ac9c51be88180cbe464e09c46315c6145e775ca8da76de4d4e261354c"
18+
sha256 cellar: :any, arm64_sonoma: "734ca95d3bcb87f5c62e27294ea3485698ac160a8bc0cb6eafa68ca73f792ce0"
19+
sha256 cellar: :any, sonoma: "daa3779a2ee08f218dd714c80ce78e9451b81340c65efee8a1f44f16dee8aa07"
20+
sha256 cellar: :any_skip_relocation, arm64_linux: "02148c88d3b6adc67f7cb43fc1eb3f8a1a7317838a567e7de95c60cffc4fd208"
21+
sha256 cellar: :any_skip_relocation, x86_64_linux: "aecd2a8e5cc6512f5ad5cc3ba78602236642ac02d4471fc9635383976012236d"
2322
end
2423

2524
depends_on "cmake" => :build

0 commit comments

Comments
 (0)