sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

minizinc: revision bump to remove mpfr usage via gecode 

Closes #119955.

Signed-off-by: Michka Popoff <3406519+iMichka@users.noreply.github.com>
Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
master
Michael Cho 2023-01-06 13:29:52 -08:00 committed by BrewTestBot
parent f03e8d3c21
commit b0577bd627
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Formula/minizinc.rb
View File

@ -4,6 +4,7 @@ class Minizinc < Formula
url "https://github.com/MiniZinc/libminizinc/archive/2.6.4.tar.gz"
sha256 "f1f5adba23c749ddfdb2420e797d7ff46e72b843850529978f867583dbc599ca"
license "MPL-2.0"
revision 1
head "https://github.com/MiniZinc/libminizinc.git", branch: "develop"
bottle do