From 90f91ae6a4469efd4bfc9e5312aa519afc1f9bed Mon Sep 17 00:00:00 2001 From: ilovezfs Date: Fri, 15 Sep 2017 07:40:17 -0700 Subject: [PATCH] ibex 2.5.2 Closes #18117. Signed-off-by: ilovezfs --- Formula/ibex.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/ibex.rb b/Formula/ibex.rb index bb8be883a6..2dabb2fa5f 100644 --- a/Formula/ibex.rb +++ b/Formula/ibex.rb @@ -1,8 +1,8 @@ class Ibex < Formula desc "C++ library for constraint processing over real numbers." homepage "http://www.ibex-lib.org/" - url "https://github.com/ibex-team/ibex-lib/archive/ibex-2.5.1.tar.gz" - sha256 "6befc72b4c8170c0afede8a45446f6b06b5c93dc00507e50dd3af86bb78d5d9b" + url "https://github.com/ibex-team/ibex-lib/archive/ibex-2.5.2.tar.gz" + sha256 "ef8a0988002b9d5f0897696ce434f0eb6170d335f58c0961ccd578eb7f3fc3d3" head "https://github.com/ibex-team/ibex-lib.git" bottle do