From 25749cca45d230bb800727a07f40f87f910d4013 Mon Sep 17 00:00:00 2001
From: ndr <ndr@qef.io>
Date: Fri, 27 Jun 2014 02:01:18 +0200
Subject: [PATCH] Reformat idris.rb according to readability conventions

---
 Casks/idris.rb | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Casks/idris.rb b/Casks/idris.rb
index b3987d31d24..03f16d4ab29 100644
--- a/Casks/idris.rb
+++ b/Casks/idris.rb
@@ -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