From 92a54973af20c5c2fd3aa7134fcbbf083d2009c6 Mon Sep 17 00:00:00 2001 From: FX Coudert Date: Tue, 8 Jan 2019 10:36:43 +0100 Subject: [PATCH] z3: revision for readline --- Formula/z3.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Formula/z3.rb b/Formula/z3.rb index 12a8cb9f49..e336ef2350 100644 --- a/Formula/z3.rb +++ b/Formula/z3.rb @@ -3,7 +3,7 @@ class Z3 < Formula homepage "https://github.com/Z3Prover/z3" url "https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz" sha256 "5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601" - revision 1 + revision 2 head "https://github.com/Z3Prover/z3.git" bottle do