wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

cryptol: depend on ghc@8.2 at build time (#25516)

Browse source
This commit is contained in:
ilovezfs 2018-03-20 12:41:30 -07:00 committed by GitHub
parent 0a56e40efe
commit fa2c53de20
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/cryptol.rb
View file

@ -17,7 +17,7 @@ class Cryptol < Formula
sha256 "6679c45e92d3093e89b54bcddeb1e107445afb47243a766b197240362c281d1a" => :el_capitan
end
depends_on "ghc" => :build
depends_on "ghc@8.2" => :build
depends_on "cabal-install" => :build
depends_on "z3"