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

Updated CoqIDE to 8.4pl5; Changed protocol to https

This commit is contained in:
Florian Harbecke 2014-11-20 10:21:10 +01:00
parent 60b07fe8d3
commit 5719938607
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Casks/coqide.rb
View File

@ -1,9 +1,9 @@
cask :v1 => 'coqide' do
version '8.4pl4'
sha256 'b476b95b60940f347f515decf4e5d4d35499ffa5080df9027395b47c9561b9b0'
version '8.4pl5'
sha256 'ebcb0ef2b5abd659373b3c039de0abd7712ef6ee7901936d5f7962735a59e135'
url "http://coq.inria.fr/distrib/V#{version}/files/coqide-#{version}.dmg"
homepage 'http://coq.inria.fr/'
url "https://coq.inria.fr/distrib/V#{version}/files/coqide-#{version}.dmg"
homepage 'https://coq.inria.fr/'
license :oss
app "CoqIde_#{version}.app"