From 9b9d84040ddca4f4f847a20dd47bd2f4fae91cba Mon Sep 17 00:00:00 2001 From: ilovezfs Date: Sat, 1 Apr 2017 05:34:02 -0700 Subject: [PATCH] idris 1.0 Closes #11934. Signed-off-by: ilovezfs --- Formula/idris.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/idris.rb b/Formula/idris.rb index ff7c0f8a8f..2b8b721fa7 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 "https://www.idris-lang.org/" - url "https://github.com/idris-lang/Idris-dev/archive/v0.99.2.tar.gz" - sha256 "a4051d6783b15c8e25dd401f0f1984a0597db47f8373388cc04e60f76961b4eb" + url "https://github.com/idris-lang/Idris-dev/archive/v1.0.tar.gz" + sha256 "aaed0d01c0395cb7cac2562f689f8589072ad7568acaeb5e20451ffeebab963e" head "https://github.com/idris-lang/Idris-dev.git" bottle do