mirror of
https://github.com/donl/homebrew-cask-versions.git
synced 2026-07-19 22:16:33 -06:00
8 lines
228 B
Ruby
8 lines
228 B
Ruby
class Idris < Cask
|
|
url 'http://www.idris-lang.org/pkgs/idris-current.pkg'
|
|
homepage 'http://www.idris-lang.org'
|
|
version 'latest'
|
|
sha256 :no_check
|
|
install 'idris-current.pkg'
|
|
uninstall :pkgutil => 'org.idris-lang'
|
|
end
|