homebrew-cask/Casks/idris.rb

cask 'idris' do
  version :latest
  sha256 :no_check

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

  pkg 'idris-current.pkg'

  uninstall pkgutil: 'org.idris-lang'
end
Remove DSL versions from all casks 2015-12-18 09:15:28 +08:00			`cask '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'`
idris.rb: added name 2015-01-23 06:15:08 +08:00			`name 'Idris'`
Reformat idris.rb according to readability conventions 2014-06-27 08:01:18 +08:00			`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
Use Ruby 1.9 hash syntax in casks where possible 2016-01-18 09:27:20 +08:00			`uninstall pkgutil: 'org.idris-lang'`
Add Idris 2014-05-03 03:26:46 +08:00			`end`