klee: add 2.2 bottle.

master
Carlo Cabrera 2021-03-10 12:44:41 +00:00
parent 5a3a0de11f
commit 3ea18013c7
No known key found for this signature in database
GPG Key ID: C74D447FC549A1D0
1 changed files with 6 additions and 0 deletions

View File

@ -6,6 +6,12 @@ class Klee < Formula
license "NCSA"
head "https://github.com/klee/klee.git"
bottle do
sha256 big_sur: "e618dbf37e6a3abfb015f6c9facdf15d5738b68e0d94e538a9b447321029bf92"
sha256 catalina: "924b00351eea9e380418b244de739f5660fbf9b9e1f401e5d9ff2d38af404047"
sha256 mojave: "28f00222252796f611e346418e1041466a525c4acaef392a0f065be26b239e00"
end
depends_on "cmake" => :build
depends_on "gperftools"
depends_on "llvm"