homebrew-cask/Casks/idris.rb

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
Add Idris 2014-05-03 03:26:46 +08:00			`class Idris < Cask`
:latest as symbol in idris 2014-09-17 19:42:48 +08:00			`version :latest`
mass convert Casks to sha256 :no_check 2014-05-08 20:51:31 +08:00			`sha256 :no_check`
Reformat idris.rb according to readability conventions 2014-06-27 08:01:18 +08:00
			`url 'http://www.idris-lang.org/pkgs/idris-current.pkg'`
			`homepage 'http://www.idris-lang.org'`
add license stanza to idris 2014-10-01 23:33:05 +08:00			`license :unknown`
Reformat idris.rb according to readability conventions 2014-06-27 08:01:18 +08:00
idris.rb 2014-09-10 23:37:02 +08:00			`pkg 'idris-current.pkg'`
Add Idris 2014-05-03 03:26:46 +08:00			`uninstall :pkgutil => 'org.idris-lang'`
			`end`