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

gecode 5.0.0

Browse source 
Updated to the latest version of the framework.

Closes #7004.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
This commit is contained in:
Luca Di Gaspero 2016-11-17 10:59:49 +01:00 committed by Mike McQuaid
parent b6832928ac
commit d1f96ccfec
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/gecode.rb
View file

@ -1,8 +1,8 @@
class Gecode < Formula
desc "Toolkit for developing constraint-based systems and applications"
homepage "http://www.gecode.org/"
url "http://www.gecode.org/download/gecode-4.4.0.tar.gz"
sha256 "b45783cc8d0d5dbbd3385a263a2199e6ad7f9a286e92607de81aa0c1105769cb"
url "http://www.gecode.org/download/gecode-5.0.0.tar.gz"
sha256 "f4ff2fa115fed8c09a049b2d8520363b1f9b1a39d80461f597e29dab2ba9e77b"
bottle do
cellar :any