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

minizincide 2.8.1

Browse Source
This commit is contained in:
Rui Chen
2023-11-26 21:57:28 -05:00
parent 948336bc57
commit f5af3e46d6
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/"