wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

z3 4.8.5

Browse source 
Closes #40639.

Signed-off-by: Thierry Moisan <thierry.moisan@gmail.com>
This commit is contained in:
Dennis Luxen 2019-06-03 10:54:45 -07:00 committed by Thierry Moisan
parent 63d58c98de
commit 04205e2aac
No known key found for this signature in database
GPG key ID: A9A4CB593D38CDD0
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,9 +1,8 @@
class Z3 < Formula
desc "High-performance theorem prover"
homepage "https://github.com/Z3Prover/z3"
url "https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz"
sha256 "5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601"
revision 2
url "https://github.com/Z3Prover/z3/archive/Z3-4.8.5.tar.gz"
sha256 "4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363"
head "https://github.com/Z3Prover/z3.git"
bottle do