cask :v1 => 'coqide' do
  version '8.4pl4'
  sha256 'b476b95b60940f347f515decf4e5d4d35499ffa5080df9027395b47c9561b9b0'

  url "http://coq.inria.fr/distrib/V#{version}/files/coqide-#{version}.dmg"
  homepage 'http://coq.inria.fr/'
  license :oss

  app "CoqIde_#{version}.app"
end