From 43b646fbca19f07d7e50d48ed964f513d357043c Mon Sep 17 00:00:00 2001
From: Termina1 <terminal2010@gmail.com>
Date: Sat, 10 Dec 2016 00:17:45 +0300
Subject: [PATCH] idris 0.99

Closes #7731.

Signed-off-by: William Woodruff <william@tuffbizz.com>
---
 Formula/idris.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Formula/idris.rb b/Formula/idris.rb
index 8a2b150604..7b4b90bcd5 100644
--- a/Formula/idris.rb
+++ b/Formula/idris.rb
@@ -5,8 +5,8 @@ class Idris < Formula
 
   desc "Pure functional programming language with dependent types"
   homepage "http://www.idris-lang.org"
-  url "https://github.com/idris-lang/Idris-dev/archive/v0.12.3.tar.gz"
-  sha256 "c6f410cddddbc53c4779d3612be40ef4e4f1f11ce8083a811825763daf30ee4d"
+  url "https://github.com/idris-lang/Idris-dev/archive/v0.99.tar.gz"
+  sha256 "bc5b497807dacca741b1ab971c145f705230bb4430961166f54dd46c4249e6af"
   head "https://github.com/idris-lang/Idris-dev.git"
 
   bottle do