waveterm/homebrew-cask
0
0
Fork 0
mirror of https://github.com/wavetermdev/homebrew-cask.git synced 2026-08-05 13:43:24 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #160326 from Moisan/bump-minizincide-2.8.0

Browse Source 
minizincide 2.8.0
This commit is contained in:
BrewTestBot
2023-11-16 13:54:47 -08:00
committed by GitHub
parent 58de5c4b70 4d3ca2eb57
commit fa32886d2b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Casks/m/minizincide.rb
+2 -2
View File
@@ -1,6 +1,6 @@
cask "minizincide" do
version "2.7.6"
sha256 "8700b0ae2cca355a3e2039b8e8d9ec9e47724b9c9881ea222cb9693dff38719f"
version "2.8.0"
sha256 "f96f3c37cf697f8114b1fdfcdd6d61e4a66c307a9c89c26ae75bc7d025e995fc"
url "https://github.com/MiniZinc/MiniZincIDE/releases/download/#{version}/MiniZincIDE-#{version}-bundled.dmg",
verified: "github.com/MiniZinc/MiniZincIDE/"