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

z3 4.12.0

master
Rui Chen 2023-01-14 11:17:09 -05:00 committed by BrewTestBot
parent 8bede0748e
commit eaa145255c
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Formula/z3.rb
View File

@ -1,10 +1,9 @@
class Z3 < Formula class Z3 < Formula
desc "High-performance theorem prover" desc "High-performance theorem prover"
homepage "https://github.com/Z3Prover/z3" homepage "https://github.com/Z3Prover/z3"
url "https://github.com/Z3Prover/z3/archive/z3-4.11.2.tar.gz" url "https://github.com/Z3Prover/z3/archive/z3-4.12.0.tar.gz"
sha256 "e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e" sha256 "5f575f0a3950760436217da1cc1a714569b6d4f664a75bb6775876328cf0a580"
license "MIT" license "MIT"
revision 1
head "https://github.com/Z3Prover/z3.git", branch: "master" head "https://github.com/Z3Prover/z3.git", branch: "master"
livecheck do livecheck do