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 #161062 from chenrui333/bump-minizincide-2.8.1

Browse Source 
minizincide 2.8.1
This commit is contained in:
BrewTestBot
2023-11-27 03:07:28 +00:00
committed by GitHub
parent 2c63330bfe f5af3e46d6
commit aabe9100b1
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.8.0"
sha256 "f96f3c37cf697f8114b1fdfcdd6d61e4a66c307a9c89c26ae75bc7d025e995fc"
version "2.8.1"
sha256 "0ceb1ad6a6dc8603cd8bf9b34b5b4293c7f5f3549effff640d760fc2f0bdce8a"
url "https://github.com/MiniZinc/MiniZincIDE/releases/download/#{version}/MiniZincIDE-#{version}-bundled.dmg",
verified: "github.com/MiniZinc/MiniZincIDE/"