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

gecode 5.1.0

Browse source 
Closes #13221.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>
This commit is contained in:
Luca Di Gaspero 2017-05-04 11:26:10 +02:00 committed by FX Coudert
parent 64e2e53685
commit ecbc8bf2cf
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-5.0.0.tar.gz"
sha256 "f4ff2fa115fed8c09a049b2d8520363b1f9b1a39d80461f597e29dab2ba9e77b"
url "http://www.gecode.org/download/gecode-5.1.0.tar.gz"
sha256 "f9885f97e0f80b54eaf1a8f9d0c419d831229a689619f6429c6148f5c50740d0"
bottle do
cellar :any