:latest as symbol in idris

2014-09-17 07:42:48 -04:00 · 2014-09-17 07:42:48 -04:00 · 871c3f378b
parent 63c5acd806
commit 871c3f378b
1 changed files with 1 additions and 1 deletions
--- a/Casks/idris.rb
+++ b/Casks/idris.rb
@ -1,5 +1,5 @@
 class Idris < Cask
-  version 'latest'
+  version :latest
  sha256 :no_check

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