2014-05-03 03:26:46 +08:00
|
|
|
class Idris < Cask
|
|
|
|
|
version 'latest'
|
2014-05-08 20:51:31 +08:00
|
|
|
sha256 :no_check
|
2014-06-27 08:01:18 +08:00
|
|
|
|
|
|
|
|
url 'http://www.idris-lang.org/pkgs/idris-current.pkg'
|
|
|
|
|
homepage 'http://www.idris-lang.org'
|
|
|
|
|
|
2014-09-10 23:37:02 +08:00
|
|
|
pkg 'idris-current.pkg'
|
2014-05-03 03:26:46 +08:00
|
|
|
uninstall :pkgutil => 'org.idris-lang'
|
|
|
|
|
end
|
