sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

cbmc: update 5.72.0 bottle.

master
BrewTestBot 2022-12-08 16:05:12 +00:00
parent 55f8937fcd
commit f7b31d409c
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
Formula/cbmc.rb
View File

@ -7,14 +7,13 @@ class Cbmc < Formula
license "BSD-4-Clause"
bottle do
sha256 cellar: :any_skip_relocation, arm64_ventura: "78a48921b949e9b445dbbb59b557c6ff135c9df0d6eb1b9ad50f2fd0d43e4b17"
sha256 cellar: :any_skip_relocation, arm64_monterey: "ef623b843686b80fc8642e39df3b18e39c00b215ccb44f1b90b38f1639385585"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "abf374ff4b390b578cab241360108f489beb9e20d8f76302139dffbbbb299b4f"
sha256 cellar: :any_skip_relocation, ventura: "3022a52172207872566e82f21b5d4d6d92bc7b590a6fe9baa142c6a682a6dfed"
sha256 cellar: :any_skip_relocation, monterey: "3cbbbb60620f13fe6cf94d2a9ce65bf79fcbbf1bc37aa334343bee73e70d1abc"
sha256 cellar: :any_skip_relocation, big_sur: "5460c1dd9293332780144060f00eee10464fb53df856aba000ed258c73aa54fc"
sha256 cellar: :any_skip_relocation, catalina: "283f1167c26341add17dd5421ece7a9c841dad787bbc0441e83b017dc22bb9f4"
sha256 cellar: :any_skip_relocation, x86_64_linux: "8fef44b052d5234ef96036c76c0b76a56da221972785e20cb3515c0b8ea50730"
sha256 cellar: :any_skip_relocation, arm64_ventura: "24d813de8d7c7d463f864fc5e0959b720b5352d87c658edc779dbb9754060205"
sha256 cellar: :any_skip_relocation, arm64_monterey: "54306e131363082cbbf4a0912d8dcff695543f1ff38e14dd014f7112eb8cf422"
sha256 cellar: :any_skip_relocation, arm64_big_sur: "d0875eba861ff43c0c80f3804e7302b71849b8162bbe13a940f5a7a3cc157f67"
sha256 cellar: :any_skip_relocation, ventura: "37a064fd8540a13b72696249f6096080374a98ef136190061547ea692973d18d"
sha256 cellar: :any_skip_relocation, monterey: "01901ba5c69c0d96698d37e5dd542ae00f19801ab1de05a783273de0be98b1e5"
sha256 cellar: :any_skip_relocation, big_sur: "683e6209fd73ae3782db76e13338b6b06f2b9e183ae7df04fe378cb116d9d362"
sha256 cellar: :any_skip_relocation, x86_64_linux: "d26f95ca5704ef52ddeda869247d164ec0214a71543d8a4faafb3a65edbfcb0e"
end
depends_on "cmake" => :build