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