2015-12-18 09:15:28 +08:00
|
|
|
cask 'idris' do
|
2014-09-17 19:42:48 +08:00
|
|
|
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'
|
2015-01-23 06:15:08 +08:00
|
|
|
name 'Idris'
|
2014-06-27 08:01:18 +08:00
|
|
|
homepage 'http://www.idris-lang.org'
|
2014-10-12 00:34:56 +08:00
|
|
|
license :bsd
|
2014-06-27 08:01:18 +08:00
|
|
|
|
2014-09-10 23:37:02 +08:00
|
|
|
pkg 'idris-current.pkg'
|
2014-11-22 22:12:40 +08:00
|
|
|
|
2014-05-03 03:26:46 +08:00
|
|
|
uninstall :pkgutil => 'org.idris-lang'
|
|
|
|
end
|