2015-12-18 09:15:28 +08:00
|
|
|
cask 'coqide' do
|
2016-12-24 19:37:31 +08:00
|
|
|
version '8.6'
|
|
|
|
sha256 'abd00fc22b7a99a214d8b6977c982d6be26060d769f79f42d3ddcc8761bb4f49'
|
2014-06-29 15:24:55 +08:00
|
|
|
|
2016-02-16 01:23:11 +08:00
|
|
|
url "https://coq.inria.fr/distrib/V#{version}/files/CoqIDE_#{version}.dmg"
|
2017-01-11 14:23:03 +08:00
|
|
|
appcast 'https://coq.inria.fr/rss.xml',
|
2017-04-30 06:10:05 +08:00
|
|
|
checkpoint: '6a51f27b585a42e8debc0cf9fcc2a55b4fc2ca0853490ba483568ba306d83d85'
|
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
|
|
|
|
2016-02-16 01:23:11 +08:00
|
|
|
app "CoqIDE_#{version}.app"
|
2014-06-29 15:24:55 +08:00
|
|
|
end
|