From 7ae4fc618f62d60b493b5c3bc7c66c5f536580f1 Mon Sep 17 00:00:00 2001 From: ilovezfs Date: Tue, 20 Mar 2018 21:39:47 -0700 Subject: [PATCH] idris: depend on ghc@8.2 at build time (#25526) --- Formula/idris.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Formula/idris.rb b/Formula/idris.rb index c254f31ae487c..601f2a2235fd4 100644 --- a/Formula/idris.rb +++ b/Formula/idris.rb @@ -16,7 +16,7 @@ class Idris < Formula end depends_on "cabal-install" => :build - depends_on "ghc" => :build + depends_on "ghc@8.2" => :build depends_on "pkg-config" => :build depends_on "libffi"