Update minizincide from 2.3.1 to 2.3.2 (#69017)

2019-09-12 19:51:31 -07:00 · 2019-09-12 19:51:31 -07:00 · 413f3f60c2
parent 64261238f0
commit 413f3f60c2
1 changed files with 2 additions and 2 deletions
--- a/Casks/minizincide.rb
+++ b/Casks/minizincide.rb
@ -1,6 +1,6 @@
 cask 'minizincide' do
-  version '2.3.1'
-  sha256 '288ab1a0a04c6d3e7d37c6b95e80bc1604eb9ba3d57b33a0d12003c7f8f9999b'
+  version '2.3.2'
+  sha256 'e1970ccfdceb94ceaca86b964267c64f079b1518dc36787491068f9c3c724b76'

  # github.com/MiniZinc/MiniZincIDE was verified as official when first introduced to the cask
  url "https://github.com/MiniZinc/MiniZincIDE/releases/download/#{version}/MiniZincIDE-#{version}-bundled.dmg"