Reformat idris.rb according to readability conventions
This commit is contained in:
parent
6f586e9854
commit
25749cca45
|
@ -1,8 +1,10 @@
|
|||
class Idris < Cask
|
||||
url 'http://www.idris-lang.org/pkgs/idris-current.pkg'
|
||||
homepage 'http://www.idris-lang.org'
|
||||
version 'latest'
|
||||
sha256 :no_check
|
||||
|
||||
url 'http://www.idris-lang.org/pkgs/idris-current.pkg'
|
||||
homepage 'http://www.idris-lang.org'
|
||||
|
||||
install 'idris-current.pkg'
|
||||
uninstall :pkgutil => 'org.idris-lang'
|
||||
end
|
||||
|
|
Loading…
Reference in New Issue