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

ibex 2.8.1

Browse source 
Closes #40156.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>
This commit is contained in:
Igor Kapkov 2019-05-22 14:49:09 +10:00 committed by FX Coudert
parent 2ebb3090af
commit 7d5065cee4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/ibex.rb
View file

@ -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.8.0.tar.gz"
sha256 "1c7e3ce7582e39d617666491e11794e3dc08ec3e3aedd38aaa79710f7845c919"
url "https://github.com/ibex-team/ibex-lib/archive/ibex-2.8.1.tar.gz"
sha256 "2f574802622c95ebd89332234d0e47643394590e5bb548f246e80fa6fe2e4d8e"
head "https://github.com/ibex-team/ibex-lib.git"
bottle do