2015-12-18 09:15:28 +08:00
|
|
|
cask 'coqide' do
|
2019-05-21 23:36:14 +08:00
|
|
|
version '8.9.1'
|
|
|
|
|
sha256 '4f8fac558076681d1e037ddea6c1752d6a4117c932a8d56082a94deaa73e1e90'
|
2014-06-29 15:24:55 +08:00
|
|
|
|
2018-01-20 04:24:50 +08:00
|
|
|
# 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"
|
2018-06-12 22:37:26 +08:00
|
|
|
appcast 'https://github.com/coq/coq/releases.atom'
|
2015-01-06 10:30:21 +08:00
|
|
|
name 'Coq'
|
2014-11-20 17:21:10 +08:00
|
|
|
homepage 'https://coq.inria.fr/'
|
2014-06-29 15:24:55 +08:00
|
|
|
|
2019-02-20 06:06:05 +08:00
|
|
|
depends_on macos: '>= :sierra'
|
|
|
|
|
|
2018-01-20 04:24:50 +08:00
|
|
|
app "CoqIDE_#{version.major_minor_patch}.app"
|
2014-06-29 15:24:55 +08:00
|
|
|
end
|
