Skip to content

Commit

Permalink
cryptol: depend on ghc@8.0
Browse files Browse the repository at this point in the history
  • Loading branch information
ilovezfs committed Jul 27, 2017
1 parent c692b5e commit 4f24265
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Formula/cryptol.rb
Expand Up @@ -15,7 +15,7 @@ class Cryptol < Formula
sha256 "1771ed234b8889a79618847eee03c2e748496c37d56f4e2336a5be8a8cb89692" => :yosemite
end

depends_on "ghc" => :build
depends_on "ghc@8.0" => :build
depends_on "cabal-install" => :build
depends_on "z3" => :run

Expand Down

0 comments on commit 4f24265

Please sign in to comment.