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

ibex 2.8.0

Browse source 
Closes #37487.

Signed-off-by: Chongyu Zhu <i@lembacon.com>
This commit is contained in:
Igor Kapkov 2019-03-02 14:31:39 +11:00 committed by Chongyu Zhu
parent 0caf29605a
commit c93eaa3519
No known key found for this signature in database
GPG key ID: 1A43E3C9100B38F5
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.7.4.tar.gz"
sha256 "2b32a1e51766476c9baab4017001e3e9ce2b6b102e2ac7492002305483607036"
url "https://github.com/ibex-team/ibex-lib/archive/ibex-2.8.0.tar.gz"
sha256 "1c7e3ce7582e39d617666491e11794e3dc08ec3e3aedd38aaa79710f7845c919"
head "https://github.com/ibex-team/ibex-lib.git"
bottle do