homebrew-cask/Casks/idris.rb

cask :v1 => 'idris' do
  version :latest
  sha256 :no_check

  url 'http://www.idris-lang.org/pkgs/idris-current.pkg'
  homepage 'http://www.idris-lang.org'
  license :bsd

  pkg 'idris-current.pkg'

  uninstall :pkgutil => 'org.idris-lang'
end
new-style header in idris 2014-11-14 01:26:04 +08:00			`cask :v1 => 'idris' do`
: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'`
Specify license of idris 2014-10-12 00:34:56 +08:00			`license :bsd`
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'`
blank before uninstall in idris 2014-11-22 22:12:40 +08:00
Add Idris 2014-05-03 03:26:46 +08:00			`uninstall :pkgutil => 'org.idris-lang'`
			`end`