idris.rb: added name

2015-01-22 22:15:08 +00:00 · 2015-01-22 22:15:08 +00:00 · 11f61e1ac5
parent d0fbf29d6a
commit 11f61e1ac5
1 changed files with 1 additions and 0 deletions
--- a/Casks/idris.rb
+++ b/Casks/idris.rb
@ -3,6 +3,7 @@ cask :v1 => 'idris' do
  sha256 :no_check

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