idris: depend on ghc@8.2 at build time (#25526)

Homebrew · Mar 21, 2018 · 7ae4fc6 · 7ae4fc6
1 parent 8a8cd7d
commit 7ae4fc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"