From f5af3e46d6c672d3657cf09ca14cbc35900deba9 Mon Sep 17 00:00:00 2001 From: Rui Chen Date: Sun, 26 Nov 2023 21:57:28 -0500 Subject: [PATCH] minizincide 2.8.1 --- Casks/m/minizincide.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Casks/m/minizincide.rb b/Casks/m/minizincide.rb index f45ee75fbe..874356d03e 100644 --- a/Casks/m/minizincide.rb +++ b/Casks/m/minizincide.rb @@ -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/"