From dd76527a44f91ade4f1d12d04479b9c5048d7c01 Mon Sep 17 00:00:00 2001 From: cbmc-starter-kit-release-ci Date: Thu, 14 Apr 2022 16:27:33 +0000 Subject: [PATCH] cbmc-starter-kit: add 2.0.2 bottle. --- Formula/cbmc-starter-kit.rb | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Formula/cbmc-starter-kit.rb b/Formula/cbmc-starter-kit.rb index ae3da875..780c876e 100644 --- a/Formula/cbmc-starter-kit.rb +++ b/Formula/cbmc-starter-kit.rb @@ -8,6 +8,13 @@ class CbmcStarterKit < Formula revision: "82432f13ebf0f50baeff72b04faf65035dbb11db" license "MIT-0" + bottle do + root_url "https://github.com/model-checking/cbmc-starter-kit/releases/download/starterkit-2.0.2" + sha256 cellar: :any_skip_relocation, big_sur: "dc6edec1c9cec486ff99dfc70f86acc592c775487a0e99b9546d66da45d591f8" + sha256 cellar: :any_skip_relocation, catalina: "8e5bbe807f876f434561a3e33bb3d1038e126f507d7023d36d081b14b1babd38" + sha256 cellar: :any_skip_relocation, x86_64_linux: "b8160492667c3afd2403d07b00f2876c99b071e92bfa262505b5da2dd2e6f24a" + end + depends_on "python@3.9" resource "gitdb" do