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

idris 1.3.0

Browse source 
depend on ghc at build time instead of ghc@8.2

Closes #28325.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2018-05-26 22:48:49 -07:00
parent 265b838f6f
commit e249eb7d0d
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/idris.rb
View file

@ -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/v1.2.0.tar.gz"
sha256 "a5160da66cdfb376df0ed87f0abb9dbc7feaa4efe77bcc7f9cc3b97425bc57f7"
url "https://github.com/idris-lang/Idris-dev/archive/v1.3.0.tar.gz"
sha256 "8cce6c8bd24daf18b18f2f270354c711529bef6231b3c9016c3dcb98de6bca99"
head "https://github.com/idris-lang/Idris-dev.git"
bottle do
@ -16,7 +16,7 @@ class Idris < Formula
end
depends_on "cabal-install" => :build
depends_on "ghc@8.2" => :build
depends_on "ghc" => :build
depends_on "pkg-config" => :build
depends_on "libffi"