llvm: revision bump (z3 4.12.0)

Signed-off-by: Rui Chen <rui@chenrui.dev>
master
Rui Chen 2023-01-14 16:03:44 -05:00 committed by BrewTestBot
parent e7916e7f97
commit 2bc65aa572
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 1 additions and 0 deletions

View File

@ -6,6 +6,7 @@ class Llvm < Formula
sha256 "8b5fcb24b4128cf04df1b0b9410ce8b1a729cb3c544e6da885d234280dedeac6" sha256 "8b5fcb24b4128cf04df1b0b9410ce8b1a729cb3c544e6da885d234280dedeac6"
# The LLVM Project is under the Apache License v2.0 with LLVM Exceptions # The LLVM Project is under the Apache License v2.0 with LLVM Exceptions
license "Apache-2.0" => { with: "LLVM-exception" } license "Apache-2.0" => { with: "LLVM-exception" }
revision 1
head "https://github.com/llvm/llvm-project.git", branch: "main" head "https://github.com/llvm/llvm-project.git", branch: "main"
livecheck do livecheck do