dnrops
/
homebrew-cask
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update minizincide to 2.1.3 (#30059)

This commit is contained in:
Victor Popkov 2017-02-12 23:06:57 +02:00 committed by GitHub
parent 7b2f3b9fc0
commit 9efbe0cd51
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Casks/minizincide.rb
View File

@ -1,11 +1,11 @@
cask 'minizincide' do
version '2.1.2'
sha256 'a8c31cb362b1f8514f5a1a0516dcc41cefc2af5c1fa3cc54941422e65c42b921'
version '2.1.3'
sha256 'a4ec64bee9a04702f02bd82cdd182843f373d9f2986d11c580f3dc6e1dfd3d81'
# 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"
appcast 'https://github.com/MiniZinc/MiniZincIDE/releases.atom',
checkpoint: 'ed427dd915c7e01108d943422d495182c176542e56c420a27c27c5fc121ac6aa'
checkpoint: '9593f8dba4def26ae00a1ddb5e6eb11bca329a88b6b6ad199322a682187b6548'
name 'MiniZincIDE'
homepage 'https://www.minizinc.org/ide/index.html'