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

Update coqide from 8.11.2 to 8.12.0 (#86737)

This commit is contained in:
Hanlin He 2020-07-28 14:33:53 -07:00 committed by GitHub
parent e58027db31
commit 365df3c964
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Casks/coqide.rb
View File

@ -1,6 +1,6 @@
cask "coqide" do
version "8.11.2"
sha256 "18c09fbafaa2731bb7f6cff0b8e821b57cf6857d1bd1609055d0784d445c6d53"
version "8.12.0"
sha256 "be5bf7b8009e0693f5da35437a901c58a924c12c9464c5be3ff1ed3ebe495697"
# github.com/coq/coq/ was verified as official when first introduced to the cask
url "https://github.com/coq/coq/releases/download/V#{version.major_minor_patch}/coq-#{version}-installer-macos.dmg"