2014-11-14 01:25:38 +08:00
|
|
|
cask :v1 => 'coqide' do
|
2014-11-20 17:21:10 +08:00
|
|
|
version '8.4pl5'
|
|
|
|
|
sha256 'ebcb0ef2b5abd659373b3c039de0abd7712ef6ee7901936d5f7962735a59e135'
|
2014-06-29 15:24:55 +08:00
|
|
|
|
2014-11-20 17:21:10 +08:00
|
|
|
url "https://coq.inria.fr/distrib/V#{version}/files/coqide-#{version}.dmg"
|
2015-01-06 10:30:21 +08:00
|
|
|
name 'Coq'
|
2014-11-20 17:21:10 +08:00
|
|
|
homepage 'https://coq.inria.fr/'
|
2014-10-12 00:34:56 +08:00
|
|
|
license :oss
|
2014-06-29 15:24:55 +08:00
|
|
|
|
2014-09-16 00:05:25 +08:00
|
|
|
app "CoqIde_#{version}.app"
|
2014-06-29 15:24:55 +08:00
|
|
|
end
|
