cask 'idris' do
  version :latest
  sha256 :no_check

  url 'http://www.idris-lang.org/pkgs/idris-current.pkg'
  name 'Idris'
  homepage 'http://www.idris-lang.org'
  license :bsd

  pkg 'idris-current.pkg'

  uninstall pkgutil: 'org.idris-lang'
end